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(uint32_t); 8 void flush_icache_config(); 9 void flush_dcache_region(uint32_t); 10 void handle_error_level(); 11 void enable_interrupts(); 12 void init_interrupts(); 13 void invoke_task(uint8_t, uint32_t *, uint32_t *); 14 uint32_t configure_tlb(uint32_t); 15 void map_page_set_index(uint32_t); 16 void map_page_op(uint32_t, uint32_t, uint32_t, uint32_t); 17 void map_page_index_op(uint32_t, uint32_t, uint32_t, uint32_t); 18 19 #endif /* __CPU_OP_H__ */