1.1 --- a/stage2/cpu.c Mon Feb 29 23:59:40 2016 +0100
1.2 +++ b/stage2/cpu.c Tue Mar 01 00:50:20 2016 +0100
1.3 @@ -24,6 +24,7 @@
1.4
1.5 #include "cpu.h"
1.6 #include "sdram.h"
1.7 +#include "paging.h"
1.8
1.9 void flush_icache_all(void)
1.10 {
2.1 --- a/stage2/cpu.h Mon Feb 29 23:59:40 2016 +0100
2.2 +++ b/stage2/cpu.h Tue Mar 01 00:50:20 2016 +0100
2.3 @@ -17,7 +17,4 @@
2.4 void map_page_index(u32, u32, u32, u8, u8, u32);
2.5 void unmap_page(u32, u32, u32, u8, u8);
2.6
2.7 -#define page_table_start 0x80040000
2.8 -#define page_table_task_size 0x00008000
2.9 -
2.10 #endif /* __CPU_H__ */
3.1 --- a/stage2/entry.S Mon Feb 29 23:59:40 2016 +0100
3.2 +++ b/stage2/entry.S Tue Mar 01 00:50:20 2016 +0100
3.3 @@ -27,10 +27,7 @@
3.4 .globl _end_entries
3.5 .set noreorder
3.6
3.7 -/* NOTE: Duplicated from cpu.h. */
3.8 -
3.9 -#define page_table_start 0x80040000
3.10 -#define page_table_task_size 0x00008000
3.11 +#include "paging.h"
3.12
3.13 _tlb_entry:
3.14 /* Get the bad address. */
4.1 --- a/stage2/irq.c Mon Feb 29 23:59:40 2016 +0100
4.2 +++ b/stage2/irq.c Tue Mar 01 00:50:20 2016 +0100
4.3 @@ -28,6 +28,7 @@
4.4 #include "lcd.h"
4.5 #include "jzlcd.h"
4.6 #include "cpu.h"
4.7 +#include "paging.h"
4.8 #include "irq.h"
4.9
4.10 extern vidinfo_t panel_info;
5.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
5.2 +++ b/stage2/paging.h Tue Mar 01 00:50:20 2016 +0100
5.3 @@ -0,0 +1,7 @@
5.4 +#ifndef __PAGING_H__
5.5 +#define __PAGING_H__
5.6 +
5.7 +#define page_table_start 0x81400000
5.8 +#define page_table_task_size 0x00008000
5.9 +
5.10 +#endif /* __PAGING_H__ */