/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | serial.c | 20 const void *vdata, 25 const unsigned char *data = (const unsigned char *)vdata; 36 void *vdata, 41 char *data = (char *)vdata; 18 uart_write( ps_chardevice_t *d, const void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument 34 uart_read( ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument
|
H A D | chardev.h | 52 const void *vdata, 59 void *vdata,
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | serial.c | 20 static ssize_t debug_write(ps_chardevice_t *device UNUSED, const void *vdata, size_t count, argument 25 const char *data = (const char *)vdata; 31 (void)vdata;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_chardev.c | 38 keyboard_write(ps_chardevice_t* d, const void* vdata, size_t count, chardev_callback_t rcb UNUSED, argument 46 keyboard_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, argument 51 char* data = (char*) vdata;
|
H A D | ega.c | 98 text_ega_write(ps_chardevice_t* d, const void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED) argument 100 const char* data = (const char*)vdata; 111 text_ega_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED) argument 116 data = (char*)vdata;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | axi_uartlite.c | 100 static ssize_t axi_uartlite_write(ps_chardevice_t* d, const void* vdata, argument 104 const char *data = (const char*)vdata; 113 static ssize_t axi_uartlite_read(ps_chardevice_t* d, void* vdata, argument 117 char *data = (char*)vdata;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | mcs_api.h | 104 seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata, 108 seL4_Error error = seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata); 120 return seL4_TCB_Configure(tcb, ep, cspace, cdata, vspace, vdata, 138 seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata) 140 return seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata); 102 api_tcb_configure(seL4_CPtr tcb, seL4_CPtr ep, UNUSED seL4_CPtr timeout_ep, UNUSED seL4_CPtr sc, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata, seL4_Word ipc_buffer_addr, seL4_CPtr ipc_buffer_cap) argument 136 api_tcb_set_space(seL4_CPtr tcb, seL4_CPtr ep, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata) argument
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | mouse.c | 33 static ssize_t mouse_read(ps_chardevice_t* d, void* vdata, size_t bytes, argument 45 memcpy((uint8_t*)vdata, &mouse->event, size);
|
H A D | usbkbd.c | 275 kbd_read(ps_chardevice_t *d, void *vdata, size_t bytes, argument 282 data = (char *)vdata;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c.c | 211 i2c_kvslave_read(i2c_kvslave_t* kvs, uint64_t reg, void* vdata, int count) argument 216 char* data = (char*)vdata; 241 i2c_kvslave_write(i2c_kvslave_t* kvs, uint64_t reg, const void* vdata, int count) argument 246 char* data = (char*)vdata;
|
H A D | i2c_bitbang.c | 198 void* vdata, size_t size, 205 char* data = (char*)vdata; 231 const void* vdata, size_t size, 238 const char* data = (const char*)vdata; 197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | serial.c | 384 tk1_uart_write(ps_chardevice_t* d, const void* vdata, argument 393 .data = (void *)vdata 409 while (uart_putchar(d, ((uint8_t *)vdata)[i]) == -1) { 429 tk1_uart_read(ps_chardevice_t* d, void* vdata, argument 442 .data = vdata 462 ((uint8_t *)vdata)[n_chars_read] = c;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 256 exynos_i2c_read(i2c_bus_t* i2c_bus, void* vdata, size_t len, argument 262 dev->rx_buf = (char*)vdata; 285 exynos_i2c_write(i2c_bus_t* i2c_bus, const void* vdata, size_t len, argument 291 dev->tx_buf = (char*)vdata; 321 exynos_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, argument 334 dev->rx_buf = (char*)vdata; 354 exynos_i2c_start_write(i2c_slave_t* sl, const void* vdata, size_t len, argument 368 dev->tx_buf = (const char*)vdata;
|
H A D | serial.c | 183 static ssize_t exynos_uart_write(ps_chardevice_t *d, const void *vdata, size_t count, chardev_callback_t wcb, argument 186 const char *data = (const char *)vdata; 267 static ssize_t exynos_uart_read(ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb, void *token) argument 279 d->read_descriptor.data = (void *)vdata; 284 return uart_read_fifo(d, (char *)vdata, count);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 364 const void* vdata, size_t len, 377 dev->tx_buf = (const char*)vdata; 395 void* vdata, size_t len, 411 dev->rx_buf = (char*)vdata; 363 imx6_i2c_start_write(i2c_slave_t* sl, const void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 394 imx6_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
|