diff options
| -rw-r--r-- | device/ds_routines.h | 1 | ||||
| -rw-r--r-- | include/device/device_types.h | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/device/ds_routines.h b/device/ds_routines.h index fad89ac..497b6ac 100644 --- a/device/ds_routines.h +++ b/device/ds_routines.h @@ -49,7 +49,6 @@ kern_return_t device_read_alloc(io_req_t, vm_size_t); kern_return_t device_write_get(io_req_t, boolean_t *); boolean_t device_write_dealloc(io_req_t); void device_reference(device_t); -void device_deallocate(device_t); boolean_t ds_notify(mach_msg_header_t *msg); boolean_t ds_open_done(io_req_t); diff --git a/include/device/device_types.h b/include/device/device_types.h index caf4fc0..a6db051 100644 --- a/include/device/device_types.h +++ b/include/device/device_types.h @@ -135,4 +135,6 @@ typedef int io_return_t; #define D_NO_MEMORY 2508 /* memory allocation failure */ #define D_READ_ONLY 2509 /* device cannot be written to */ +void device_deallocate(device_t); + #endif /* DEVICE_TYPES_H */ |