Searched refs:vdata (Results 1 - 15 of 15) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dserial.c20 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 Dchardev.h52 const void *vdata,
59 void *vdata,
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dserial.c20 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 Dkeyboard_chardev.c38 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 Dega.c98 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 Daxi_uartlite.c100 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 Dmcs_api.h104 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 Dmouse.c33 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 Dusbkbd.c275 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 Di2c.c211 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 Di2c_bitbang.c198 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 Dserial.c384 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 Di2c.c256 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 Dserial.c183 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 Di2c.c364 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

Completed in 71 milliseconds