1.1 --- a/stage2/cpu.h Wed May 04 17:03:35 2016 +0200
1.2 +++ b/stage2/cpu.h Wed May 04 22:04:37 2016 +0200
1.3 @@ -4,16 +4,10 @@
1.4 #include "xburst_types.h"
1.5
1.6 void flush_cache_all();
1.7 -void handle_error_level();
1.8 void init_registers(u32 *, u32, void (*)(), u32[], u8);
1.9 -void invoke_task(u8, u32 *, u32 *);
1.10 -void enable_interrupts();
1.11 -void init_interrupts();
1.12 void init_tlb();
1.13 void map_page(u32, u32, u32, u8, u8);
1.14 void init_page_table(u32, u32, u32, u32, u8, u8);
1.15 -void map_page_miss(u32, u32, u8);
1.16 void map_page_index(u32, u32, u32, u8, u8, u32);
1.17 -void unmap_page(u32, u32, u32, u8, u8);
1.18
1.19 #endif /* __CPU_H__ */