diff options
Diffstat (limited to 'device/device_emul.h')
| -rw-r--r-- | device/device_emul.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/device/device_emul.h b/device/device_emul.h index 683fc802..873d7f5b 100644 --- a/device/device_emul.h +++ b/device/device_emul.h @@ -36,12 +36,12 @@ struct device_emulation_ops void (*dealloc) (void *); ipc_port_t (*dev_to_port) (void *); io_return_t (*open) (ipc_port_t, mach_msg_type_name_t, - dev_mode_t, char *, device_t *); + dev_mode_t, const char *, device_t *); io_return_t (*close) (void *); io_return_t (*write) (void *, ipc_port_t, mach_msg_type_name_t, dev_mode_t, recnum_t, io_buf_ptr_t, unsigned, int *); io_return_t (*write_inband) (void *, ipc_port_t, mach_msg_type_name_t, - dev_mode_t, recnum_t, io_buf_ptr_inband_t, + dev_mode_t, recnum_t, const io_buf_ptr_inband_t, unsigned, int *); io_return_t (*read) (void *, ipc_port_t, mach_msg_type_name_t, dev_mode_t, recnum_t, int, io_buf_ptr_t *, unsigned *); |