paul@186 | 1 | #ifndef __CPU_OP_H__ |
paul@186 | 2 | #define __CPU_OP_H__ |
paul@186 | 3 | |
paul@186 | 4 | #include "xburst_types.h" |
paul@186 | 5 | |
paul@186 | 6 | void flush_icache_tag(); |
paul@186 | 7 | void flush_icache_region(u32); |
paul@186 | 8 | void flush_icache_config(); |
paul@186 | 9 | void flush_dcache_region(u32); |
paul@186 | 10 | void handle_error_level(); |
paul@186 | 11 | void enable_interrupts(); |
paul@186 | 12 | void init_interrupts(); |
paul@186 | 13 | void invoke_task(u8, u32 *, u32 *); |
paul@191 | 14 | u32 configure_tlb(u32); |
paul@186 | 15 | void map_page_set_index(u32); |
paul@186 | 16 | void map_page_op(u32, u32, u32, u32); |
paul@186 | 17 | void map_page_index_op(u32, u32, u32, u32); |
paul@186 | 18 | |
paul@186 | 19 | #endif /* __CPU_OP_H__ */ |