1 #ifndef __CPU_H__ 2 #define __CPU_H__ 3 4 #include "xburst_types.h" 5 6 void flush_cache_all(void); 7 void handle_error_level(void); 8 void enter_user_mode(void); 9 void set_task(u8); 10 void init_registers(u32 *, u32, void (*)(), u32[], u8); 11 void enable_interrupts(void); 12 void init_interrupts(void); 13 void init_tlb(void); 14 void map_page(u32, u32, u32, u8, u8); 15 void init_page_table(u32, u32, u32, u32, u8, u8); 16 void map_page_miss(u32, u32, u8); 17 void map_page_index(u32, u32, u32, u8, u8, u32); 18 void unmap_page(u32, u32, u32, u8, u8); 19 20 #define page_table_start 0x80040000 21 #define page_table_task_size 0x00008000 22 #define page_table_task_size_log2 15 23 24 #endif /* __CPU_H__ */