Desktop/xinu_mips-1.0.2.tar/xinu_mips-1.0.2/include/kernel.h

Go to the documentation of this file.

/* Embedded XINU, Copyright (C) 2007.  All rights reserved. */

#ifndef _KERNEL_H_
#define _KERNEL_H_

/* Symbolic constants used throughout Xinu */

/* Base type definitions */
typedef unsigned char   uchar;   
typedef unsigned short  ushort;  
typedef unsigned long   ulong;   
typedef unsigned long   irqmask; 
/* Boolean type and constants */
typedef char         bool;       
#define FALSE        0           
#define TRUE         1           
/* Null constants */
#define NULL            0       
#define EMPTY         (-1)      
/* Function declaration return types */
#define syscall     long        
#define devcall     long        
#define local       static long 
#define command     long        
#define process     long        
#define interrupt   void        
/* Universal return constants */
#define OK        1             
#define SYSERR   (-1)           
#define EOF      (-2)           
/* Reschedule constants for ready  */
#define RESCHED_YES 1           
#define RESCHED_NO  0           
/* Configuration information */
#define RTCLOCK   TRUE          
#define NPROC     50            
#define NSEM      100           
/* Assertions */
#define ASSERT(cond)              if ( !(cond) ) return SYSERR
#define ASSERTFUNC(func_call)     ASSERT((func_call) == OK)

/* Kernel function prototypes */
int nulluser(void); 

syscall kprintf(char *fmt, ...);

irqmask disable(void);
irqmask restore(irqmask);
irqmask enable(void);
irqmask enable_irq(irqmask);

syscall create(void *, ulong, ushort, char *, ulong, ...);
syscall getpid(void);
syscall kill(int);
syscall ready(long, bool); 
syscall resched(void);
syscall sleep(int n);

#endif /* _KERNEL_H_ */

---