diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-08-21 23:29:35 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-08-21 23:37:14 +0200 |
| commit | 936947864ee0976287c24e1496c77329e48fd94e (patch) | |
| tree | 1ab83c2e3ce07cf2179d4a7f1bcf5022e4406d63 /include | |
| parent | b5f92696ad2f8cd2d0e1dfd224001e9bdc1d627d (diff) | |
device_read: Add dealloc for data
It would be very tricky for the server to manage deallocation for
device_read, and does not seem useful anyway. device_reply.defs already
has it.
* include/device/device.defs (device_read): Add dealloc flag for the data
array.
Diffstat (limited to 'include')
| -rw-r--r-- | include/device/device.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/device/device.defs b/include/device/device.defs index ec4b5bf8..d1df799d 100644 --- a/include/device/device.defs +++ b/include/device/device.defs @@ -98,7 +98,7 @@ routine device_read( in mode : dev_mode_t; in recnum : recnum_t; in bytes_wanted : int; - out data : io_buf_ptr_t + out data : io_buf_ptr_t, dealloc ); routine device_read_inband( |