Re: [PATCH 4/7] update writev syscall signature with rpc types

Applied, thanks! Luca Dariz, le lun. 16 janv. 2023 11:58:54 +0100, a ecrit: > * 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/devi

[PATCH 4/7] 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 arg