diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-02-18 02:03:00 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-02-18 02:03:00 +0100 |
| commit | 6951d552749fe24d0c9514ac6efec2c09e567b8d (patch) | |
| tree | 7765935f7814b984cd3a41b57b8e6ec2d942dda2 | |
| parent | 350b44884df373f3d6f208e0d54fb68384757440 (diff) | |
| download | gnumach-6951d552749fe24d0c9514ac6efec2c09e567b8d.tar.gz | |
device_map_page: update prototype
| -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 7cced94..dc4b202 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); |
