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