# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1456789820 -3600
# Node ID 3a471c35150bfe3b7e47a5c161e3cd7d2cf294c0
# Parent  1f04193618f017ab72d7b67676d8eee299a23096
Moved paging definitions into a new header file, adjusting the table address.

diff -r 1f04193618f0 -r 3a471c35150b stage2/cpu.c
--- a/stage2/cpu.c	Mon Feb 29 23:59:40 2016 +0100
+++ b/stage2/cpu.c	Tue Mar 01 00:50:20 2016 +0100
@@ -24,6 +24,7 @@
 
 #include "cpu.h"
 #include "sdram.h"
+#include "paging.h"
 
 void flush_icache_all(void)
 {
diff -r 1f04193618f0 -r 3a471c35150b stage2/cpu.h
--- a/stage2/cpu.h	Mon Feb 29 23:59:40 2016 +0100
+++ b/stage2/cpu.h	Tue Mar 01 00:50:20 2016 +0100
@@ -17,7 +17,4 @@
 void map_page_index(u32, u32, u32, u8, u8, u32);
 void unmap_page(u32, u32, u32, u8, u8);
 
-#define page_table_start 0x80040000
-#define page_table_task_size 0x00008000
-
 #endif /* __CPU_H__ */
diff -r 1f04193618f0 -r 3a471c35150b stage2/entry.S
--- a/stage2/entry.S	Mon Feb 29 23:59:40 2016 +0100
+++ b/stage2/entry.S	Tue Mar 01 00:50:20 2016 +0100
@@ -27,10 +27,7 @@
 .globl _end_entries
 .set noreorder
 
-/* NOTE: Duplicated from cpu.h. */
-
-#define page_table_start 0x80040000
-#define page_table_task_size 0x00008000
+#include "paging.h"
 
 _tlb_entry:
 	/* Get the bad address. */
diff -r 1f04193618f0 -r 3a471c35150b stage2/irq.c
--- a/stage2/irq.c	Mon Feb 29 23:59:40 2016 +0100
+++ b/stage2/irq.c	Tue Mar 01 00:50:20 2016 +0100
@@ -28,6 +28,7 @@
 #include "lcd.h"
 #include "jzlcd.h"
 #include "cpu.h"
+#include "paging.h"
 #include "irq.h"
 
 extern vidinfo_t panel_info;
diff -r 1f04193618f0 -r 3a471c35150b stage2/paging.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/stage2/paging.h	Tue Mar 01 00:50:20 2016 +0100
@@ -0,0 +1,7 @@
+#ifndef __PAGING_H__
+#define __PAGING_H__
+
+#define page_table_start	0x81400000
+#define page_table_task_size	0x00008000
+
+#endif /* __PAGING_H__ */