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