1.1 --- a/stage2/cpu.h Fri Feb 26 01:13:51 2016 +0100
1.2 +++ b/stage2/cpu.h Fri Feb 26 20:01:03 2016 +0100
1.3 @@ -12,8 +12,13 @@
1.4 void init_interrupts(void);
1.5 void init_tlb(void);
1.6 void map_page(u32, u32, u32, u8, u8);
1.7 +void init_page_table(u32, u32, u32, u32, u8, u8);
1.8 void map_page_miss(u32, u32, u8);
1.9 void map_page_index(u32, u32, u32, u8, u8, u32);
1.10 void unmap_page(u32, u32, u32, u8, u8);
1.11
1.12 +#define page_table_start 0x00040000
1.13 +#define page_table_task_size 0x00008000
1.14 +#define page_table_task_size_log2 15
1.15 +
1.16 #endif /* __CPU_H__ */