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 init_registers(u32 *, u32, void (*)(), u32[], u8); 9 void invoke_task(u8, u32 *, u32 *); 10 void enable_interrupts(); 11 void init_interrupts(); 12 void init_tlb(); 13 void map_page(u32, u32, u32, u8, u8); 14 void init_page_table(u32, u32, u32, u32, u8, u8); 15 void map_page_miss(u32, u32, u8); 16 void map_page_index(u32, u32, u32, u8, u8, u32); 17 void unmap_page(u32, u32, u32, u8, u8); 18 19 #endif /* __CPU_H__ */