1 

27 struct thread;

28 

33 struct memmap {

34  unsigned long tcb_size;

35  unsigned long env_size;

36  unsigned long kernel_size;

37  unsigned long initm_size;

38  unsigned long heap_size;

39  unsigned long stack_size;

41  char *tcb;

42  char *env;

43  char *kernel;

44  char *initm;

45 };

46 

54 extern int arch_init(void);

55 

68 extern unsigned long arch_setup_env(struct memmap *map);

69 

77 extern int drivers_init(void);

78 

90 extern int arch_init_thread_stack(struct thread *handle,

91  unsigned int stack_size, void *(*e)(void *arg), void *arg);

92 

102 extern struct thread *arch_current_thread(void);

103 

112 extern void arch_switch_to_thread(struct thread *thread);

113 

120 extern void halt(void);

121 

130 #define PANIC(fmt, ...) do { \

131  printf("[%s:%d] " fmt, __func__, __LINE__, ##__VA_ARGS__); \

132  halt(); \

133 } while (0)

134