kernel.h

Go to the documentation of this file.

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

typedef int32 sid32;
typedef int16 qid16;
typedef int32 pid32;
typedef int32 did32;
typedef int16 pri16;
typedef uint32 umsg32;
typedef int32 bpid32;
typedef byte bool8;
typedef uint32 intmask;
typedef int32 ibid32;
typedef int32 dbid32;
typedef int32 uid32;

typedef int32 syscall;
typedef int32 devcall;
typedef int32 shellcmd;
typedef int32 process;
typedef void interrupt;
typedef int32 status;

#define local static

#define FALSE 0
#define TRUE 1

#define NULL 0
#define NULLCH '\0'
#define NULLSTR ""

/* Universal return constants */

#define OK (1)
#define SYSERR (-1)
#define EOF (-2)
#define TIMEOUT (-3)

extern qid16 readylist;

#define MINSTK 400
#define CONTEXT 64
#define QUANTUM 2

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

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