diff options
Diffstat (limited to 'include/device')
| -rw-r--r-- | include/device/device_types.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 */ |