/* kernel.h */

/* avr specific values. Original saved under orig/ folder */

/* General type declarations used throughout the kernel */

typedef	unsigned char	byte;
typedef	unsigned char	uint8;
typedef	long		int32;
typedef	int		int16;
typedef	unsigned long	uint32;
typedef	unsigned int	uint16;
typedef	unsigned long long uint64;

/* Xinu-specific types */

typedef	int16	pri16;		/* process priority			*/
typedef	uint32	umsg32;		/* message passed among processes	*/
typedef	int32	bpid32;		/* buffer pool ID			*/
typedef	byte	bool8;		/* Boolean type				*/

/* Xinu-specific types */

typedef int   sid32;          /* semaphore ID                         */
typedef int16   qid16;          /* queue ID                             */
typedef int32   pid32;          /* process ID                           */
typedef int32   did32;          /* device ID                            */
// typedef uint32  intmask;        /* saved interrupt mask                 */
typedef uint8  intmask;        /* saved interrupt mask                 */
typedef int32   ibid32;         /* index block ID (used in file system) */
typedef int32   dbid32;         /* data block ID (used in file system)  */
typedef int32   uid32;          /* ID for UDP table descriptor          */


//typedef	char	sid32;		/* semaphore ID				*/
//typedef	char	qid16;		/* queue ID				*/
//typedef	char	pid32;		/* process ID				*/
//typedef	char	did32;		/* device ID				*/
//typedef	char	intmask;	/* saved interrupt mask			*/
//typedef	char	ibid32;		/* index block ID (used in file system)	*/
//typedef	char	dbid32;		/* data block ID (used in file system)	*/
//typedef	char	uid32;		/* ID for UDP table descriptor		*/

/* Function declaration return types */

typedef int32	process;	/* top-level function of a process	*/
typedef	void	interrupt;	/* interrupt procedure			*/

typedef char	syscall;	/* system call declaration		*/
typedef char	devcall;	/* device call declaration		*/
typedef char	shellcmd;	/* shell command declaration		*/
typedef	char	status;		/* returned status value (OK/SYSERR)	*/

#define local	static		/* Local procedure or variable declar.	*/

/* Boolean constants */

#define FALSE	0		/* Boolean False			*/
#define TRUE	1		/* Boolean True				*/

/* Null pointer, character, and string definintions */

#define NULL	0		/* null pointer for linked lists	*/
#define NULLCH	'\0'		/* null character			*/
#define	NULLSTR	""		/* null string				*/

/* Universal return constants */

#define OK	( 1)		/* normal system call return		*/
#define	SYSERR	(-1)		/* system call failed			*/
#define	EOF	(-2)		/* End-of-file (usually from read)	*/
#define	TIMEOUT	(-3)		/* system call timed out		*/

extern	qid16	readylist;	/* global ID for list of ready processes*/

#define	MINSTK	64		/* minimum stack size in bytes		*/

#define	CONTEXT	64		/* bytes in a function call context on	*/
				/* the run-time stack			*/
#define	QUANTUM	1		/* time slice in milliseconds		*/

/* Size of the stack for the null process */

#define	NULLSTK		64	/* stack size for null process		*/

/* Prototypes of I/O functions used throughout the kernel */

syscall	kprintf(char *fmt, ...);
syscall	kputc(byte);
syscall	kgetc(void);