1.1 --- a/stage2/cpu_op.h Wed Jun 28 00:20:14 2017 +0200
1.2 +++ b/stage2/cpu_op.h Wed Jun 28 01:04:22 2017 +0200
1.3 @@ -4,16 +4,16 @@
1.4 #include "xburst_types.h"
1.5
1.6 void flush_icache_tag();
1.7 -void flush_icache_region(u32);
1.8 +void flush_icache_region(uint32_t);
1.9 void flush_icache_config();
1.10 -void flush_dcache_region(u32);
1.11 +void flush_dcache_region(uint32_t);
1.12 void handle_error_level();
1.13 void enable_interrupts();
1.14 void init_interrupts();
1.15 -void invoke_task(u8, u32 *, u32 *);
1.16 -u32 configure_tlb(u32);
1.17 -void map_page_set_index(u32);
1.18 -void map_page_op(u32, u32, u32, u32);
1.19 -void map_page_index_op(u32, u32, u32, u32);
1.20 +void invoke_task(uint8_t, uint32_t *, uint32_t *);
1.21 +uint32_t configure_tlb(uint32_t);
1.22 +void map_page_set_index(uint32_t);
1.23 +void map_page_op(uint32_t, uint32_t, uint32_t, uint32_t);
1.24 +void map_page_index_op(uint32_t, uint32_t, uint32_t, uint32_t);
1.25
1.26 #endif /* __CPU_OP_H__ */