diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-11-07 17:23:44 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-11-07 17:24:03 +0100 |
| commit | 48c4664974ef5b16b25f3116120eb145b8f2d9e5 (patch) | |
| tree | e67e9ec9d31434ffca1cb82e1e1fb46ea59d2378 /device | |
| parent | 1032c8233f33bd13deefb167b897e1ec8a0a2a64 (diff) | |
Drop unused device_pager_release
* device/dev_pager.c (device_pager_release): Drop unused function.
Diffstat (limited to 'device')
| -rw-r--r-- | device/dev_pager.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index 2ec48d0f..066be462 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -406,19 +406,6 @@ kern_return_t device_pager_setup( return (KERN_SUCCESS); } -/* - * Routine: device_pager_release - * Purpose: - * Relinquish any references or rights that were - * associated with the result of a call to - * device_pager_setup. - */ -void device_pager_release(memory_object_t object) -{ - if (MACH_PORT_VALID(object)) - ipc_port_release_send((ipc_port_t) object); -} - boolean_t device_pager_debug = FALSE; kern_return_t device_pager_data_request( |