paul@62 | 1 | #ifndef __CPU_H__ |
paul@62 | 2 | #define __CPU_H__ |
paul@62 | 3 | |
paul@113 | 4 | #include "xburst_types.h" |
paul@113 | 5 | |
paul@169 | 6 | void flush_cache_all(); |
paul@169 | 7 | void handle_error_level(); |
paul@169 | 8 | void enter_user_mode(); |
paul@145 | 9 | void init_registers(u32 *, u32, void (*)(), u32[], u8); |
paul@169 | 10 | void invoke_task(u8, u32 *); |
paul@169 | 11 | void enable_interrupts(); |
paul@169 | 12 | void init_interrupts(); |
paul@169 | 13 | void init_tlb(); |
paul@117 | 14 | void map_page(u32, u32, u32, u8, u8); |
paul@136 | 15 | void init_page_table(u32, u32, u32, u32, u8, u8); |
paul@135 | 16 | void map_page_miss(u32, u32, u8); |
paul@117 | 17 | void map_page_index(u32, u32, u32, u8, u8, u32); |
paul@117 | 18 | void unmap_page(u32, u32, u32, u8, u8); |
paul@62 | 19 | |
paul@62 | 20 | #endif /* __CPU_H__ */ |