update

[polintos/scott/priv.git] / kernel / include / kern / pagetable.h

diff --git a/kernel/include/kern/pagetable.h b/kernel/include/kern/pagetable.h
index 45d5f2324aa5b472c95b5b8d050ad4afb5b6977f..691ada0271c9c37311ad48e98d37778ba56c106b 100644 (file)
--- a/kernel/include/kern/pagetable.h
+++ b/kernel/include/kern/pagetable.h
@@ -49,7 +49,7 @@ namespace Mem {
                // the page refcount is not decremented.
                
                void kill_pte(ulong vaddr, u64 physaddr, bool dirty, bool valid,
-                             bool no_release = false);
+                             bool no_release);
        };
 }