diff options
author | Thomas Bushnell <thomas@gnu.org> | 1999-06-28 00:41:02 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1999-06-28 00:41:02 +0000 |
commit | f65f1b88b883f312629a2bf65b278432317df10e (patch) | |
tree | a440de3d1bb8a074f5e8fee95f034bab4c8d1779 | |
parent | cb2d6addae383f459b9f404de38d63384b407052 (diff) |
Bother to declare vm_page_release with new parm.
-rw-r--r-- | vm/vm_page.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vm/vm_page.h b/vm/vm_page.h index 6ca1c0c..63d8db8 100644 --- a/vm/vm_page.h +++ b/vm/vm_page.h @@ -225,7 +225,7 @@ extern void vm_page_release_fictitious(vm_page_t); extern boolean_t vm_page_convert(vm_page_t, boolean_t); extern void vm_page_more_fictitious(void); extern vm_page_t vm_page_grab(boolean_t); -extern void vm_page_release(vm_page_t); +extern void vm_page_release(vm_page_t, boolean_t); extern void vm_page_wait(void (*)(void)); extern vm_page_t vm_page_alloc( vm_object_t object, |