diff options
| author | Luca Dariz <luca@orpolo.org> | 2023-01-16 11:58:54 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-01-18 02:24:59 +0100 |
| commit | 194318d21f8ce386a186d90544d8a1d81aa222c2 (patch) | |
| tree | c6d065446345e39ecd0d500cc5f5502c3dd4457f /include/device/device_types.h | |
| parent | c2886e18c39182084c11d85f18fff5f9f81360ef (diff) | |
update writev syscall signature with rpc types
* device/device_emul.h: write/writev: update trap argument types
* device/ds_routines.c: update argument types and adjust copyin
* device/ds_routines.h: write/writev: update trap argument type
* include/device/device_types.h: add rpc_io_buf_vec_t type
* kern/ipc_mig.c: write/writev: update trap argument type
* kern/ipc_mig.h: Likewise
Message-Id: <20230116105857.240210-5-luca@orpolo.org>
Diffstat (limited to 'include/device/device_types.h')
| -rw-r--r-- | include/device/device_types.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/device/device_types.h b/include/device/device_types.h index 7c533723..583d9e03 100644 --- a/include/device/device_types.h +++ b/include/device/device_types.h @@ -85,6 +85,10 @@ typedef struct { vm_offset_t data; vm_size_t count; } io_buf_vec_t; +typedef struct { + rpc_vm_offset_t data; + rpc_vm_size_t count; +} rpc_io_buf_vec_t; /* * Record number for random-access devices |