From 2f26e86da27f7fe59e16abb5535f64bdad29e688 Mon Sep 17 00:00:00 2001
From: Richard Henderson <rth@twiddle.net>
Date: Wed, 13 Apr 2011 16:57:22 -0700
Subject: PCBB.PTBR contains a page frame number, not a physical address.

---
 init.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'init.c')

diff --git a/init.c b/init.c
index 25ca743..cb900c5 100644
--- a/init.c
+++ b/init.c
@@ -209,7 +209,7 @@ static void
 init_pcb (void)
 {
   pcb.ksp = (unsigned long)stack + sizeof(stack);
-  pcb.ptbr = PA(page_dir);
+  pcb.ptbr = PA(page_dir) >> PAGE_SHIFT;
   pcb.flags = 1; /* FEN */
 }
 
-- 
cgit v1.1