diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-11-18 23:43:28 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-11-18 23:43:28 +0000 |
| commit | 75134b8f36fb816af5b9d783b156dd71224ce9dd (patch) | |
| tree | f491aaefdeacf37c2a64900dd85b460758fca4a1 /defpager/defpager.c | |
| parent | e5f12a034cf64425f478aa93cd9c5ea6cc6f4296 (diff) | |
*** empty log message ***
Diffstat (limited to 'defpager/defpager.c')
| -rw-r--r-- | defpager/defpager.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/defpager/defpager.c b/defpager/defpager.c index 9b0bce3a..87ff6aba 100644 --- a/defpager/defpager.c +++ b/defpager/defpager.c @@ -31,7 +31,6 @@ struct user_pager_info off_t *map; }; - /* Expand the P->map as necessary to handle an incoming request of the page at ADDR. */ static inline void @@ -53,7 +52,6 @@ expand_map (struct user_pager_info *p, vm_offset_t addr) } } - error_t pager_read_page (struct user_pager_info *pager, vm_offset_t page, |