diff options
Diffstat (limited to 'device')
| -rw-r--r-- | device/dev_pager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/dev_pager.h b/device/dev_pager.h index 7cced949..dc4b2022 100644 --- a/device/dev_pager.h +++ b/device/dev_pager.h @@ -19,7 +19,7 @@ #ifndef _DEVICE_DEV_PAGER_H_ #define _DEVICE_DEV_PAGER_H_ -vm_offset_t device_map_page(void *dsp, vm_offset_t offset); +phys_addr_t device_map_page(void *dsp, vm_offset_t offset); boolean_t device_pager_data_request_done(io_req_t ior); |