1 #ifndef __CPU_H__ 2 #define __CPU_H__ 3 4 #include "xburst_types.h" 5 6 void flush_cache_all(void); 7 void handle_error_level(void); 8 void enable_interrupts(void); 9 void init_interrupts(void); 10 void init_tlb(void); 11 void map_page(u32, u32, u32); 12 13 #endif /* __CPU_H__ */