1.1 --- a/stage2/cpu.h Wed Jun 28 00:20:14 2017 +0200
1.2 +++ b/stage2/cpu.h Wed Jun 28 01:04:22 2017 +0200
1.3 @@ -4,10 +4,10 @@
1.4 #include "xburst_types.h"
1.5
1.6 void flush_cache_all();
1.7 -void init_registers(u32 *, u32, void (*)(), u32[], u8);
1.8 -void init_tlb(u8);
1.9 -void init_page_table(u32, u32, u32, u32, u8, u8);
1.10 -void map_page(u32, u32, u32, u8, u8);
1.11 -void map_page_index(u32, u32, u32, u8, u8, u32);
1.12 +void init_registers(uint32_t *, uint32_t, void (*)(), uint32_t[], uint8_t);
1.13 +void init_tlb(uint8_t);
1.14 +void init_page_table(uint32_t, uint32_t, uint32_t, uint32_t, uint8_t, uint8_t);
1.15 +void map_page(uint32_t, uint32_t, uint32_t, uint8_t, uint8_t);
1.16 +void map_page_index(uint32_t, uint32_t, uint32_t, uint8_t, uint8_t, uint32_t);
1.17
1.18 #endif /* __CPU_H__ */