From 936947864ee0976287c24e1496c77329e48fd94e Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sat, 21 Aug 2021 23:29:35 +0200
Subject: 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.
---
 include/device/device.defs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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(
-- 
cgit v1.2.3