pagefault() is private

diff --git a/kernel/arch/i386/exception.c b/kernel/arch/i386/exception.c
index ca81b4d3ba4bf0332c3edfba6569f233c6979e1b..8922307aec50f00882695be1f6f7a8f7f7c4071a 100644 (file)
--- a/kernel/arch/i386/exception.c
+++ b/kernel/arch/i386/exception.c
@@ -13,9 +13,9 @@
 
 extern int catch_pagefaults = 0;
 
-void pagefault( struct proc *pr,
-               struct exception_frame * frame,
-               int is_nested)
+PRIVATE void pagefault( struct proc *pr,
+                       struct exception_frame * frame,
+                       int is_nested)
 {
        int in_physcopy = 0;