1.1 --- a/stage2/cpu.c Tue May 10 13:58:05 2016 +0200
1.2 +++ b/stage2/cpu.c Sat May 14 21:36:55 2016 +0200
1.3 @@ -24,8 +24,9 @@
1.4
1.5 #include "cpu.h"
1.6 #include "cpu_op.h"
1.7 +#include "memory.h"
1.8 +#include "paging.h"
1.9 #include "sdram.h"
1.10 -#include "paging.h"
1.11
1.12 void flush_icache_all(void)
1.13 {
1.14 @@ -120,7 +121,7 @@
1.15 0x1000 * 8 == 0x8000 bytes
1.16 */
1.17
1.18 - u32 base = page_table + page_table_task_size * asid;
1.19 + u32 base = page_table + STAGE2_PAGE_TABLE_TASK * asid;
1.20
1.21 /* Each page table entry corresponds to a pair of 4KB pages and holds two values. */
1.22