From 79e15b3fdc6e613756127e3c1d5d76fc408285e9 Mon Sep 17 00:00:00 2001
From: AceVest <zhaoyanbai@126.com>
Date: Sat, 19 Jul 2014 00:27:37 +0800
Subject: [PATCH] fix bug in do_no_page

---
 mm/page.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mm/page.c b/mm/page.c
index ab4d8d9..8037c17 100644
--- a/mm/page.c
+++ b/mm/page.c
@@ -17,11 +17,12 @@
 #include <printk.h>
 #include <mm.h>
 
-void    do_no_page(void *addr)
+void do_no_page(void *addr)
 {
     pde_t *pde = (pde_t *)current->cr3;
     pte_t *pte;
     unsigned long page = alloc_one_page(0);
+    page = va2pa(page);
     if(page == 0)
         panic("failed alloc page");
 
-- 
2.44.0