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@217 | 7 | void init_registers(uint32_t *, uint32_t, void (*)(), uint32_t[], uint8_t); |
paul@217 | 8 | void init_tlb(uint8_t); |
paul@217 | 9 | void init_page_table(uint32_t, uint32_t, uint32_t, uint32_t, uint8_t, uint8_t); |
paul@217 | 10 | void map_page(uint32_t, uint32_t, uint32_t, uint8_t, uint8_t); |
paul@217 | 11 | void map_page_index(uint32_t, uint32_t, uint32_t, uint8_t, uint8_t, uint32_t); |
paul@62 | 12 | |
paul@62 | 13 | #endif /* __CPU_H__ */ |