1 #ifndef __CPU_H__ 2 #define __CPU_H__ 3 4 #include "xburst_types.h" 5 6 void flush_cache_all(); 7 void handle_error_level(); 8 void enter_user_mode(); 9 void init_registers(u32 *, u32, void (*)(), u32[], u8); 10 void invoke_task(u8, u32 *); 11 void enable_interrupts(); 12 void init_interrupts(); 13 void init_tlb(); 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 #endif /* __CPU_H__ */