diff options
| -rw-r--r-- | device/dev_pager.c | 4 | ||||
| -rw-r--r-- | device/dev_pager.h | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index 7bb7bd9..97e417e 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -317,10 +317,6 @@ void device_pager_release(memory_object_t object) boolean_t device_pager_debug = FALSE; -boolean_t device_pager_data_request_done(); /* forward */ -boolean_t device_pager_data_write_done(); /* forward */ - - kern_return_t device_pager_data_request( ipc_port_t pager, ipc_port_t pager_request, diff --git a/device/dev_pager.h b/device/dev_pager.h index 193edc4..7f97ee7 100644 --- a/device/dev_pager.h +++ b/device/dev_pager.h @@ -21,4 +21,8 @@ vm_offset_t device_map_page(void *dsp, vm_offset_t offset); +boolean_t device_pager_data_request_done(io_req_t ior); + +boolean_t device_pager_data_write_done(io_req_t ior); + #endif /* _DEVICE_DEV_PAGER_H_ */ |