2016-02-22 | Paul Boddie | file changeset files shortlog | Introduced elementary TLB handling; separated out register saving and loading. | stage2-non-pic |
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@62 | 6 | void flush_cache_all(void); |
paul@73 | 7 | void handle_error_level(void); |
paul@67 | 8 | void enable_interrupts(void); |
paul@73 | 9 | void init_interrupts(void); |
paul@73 | 10 | void init_tlb(void); |
paul@113 | 11 | void map_page(u32, u32, u32); |
paul@114 | 12 | void tlb_handle(void); |
paul@62 | 13 | |
paul@62 | 14 | #endif /* __CPU_H__ */ |