| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | serial.c | 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
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | serial.c | 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
|
| /seL4-refos-master/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
|
| /seL4-refos-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
|
| /seL4-refos-master/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
|
| 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
111 text_ega_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED) argument
|
| /seL4-refos-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
|
| 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
111 text_ega_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED) argument
|
| /seL4-refos-master/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
241 i2c_kvslave_write(i2c_kvslave_t* kvs, uint64_t reg, const void* vdata, int count) argument
|
| H A D | i2c_bitbang.c | 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-refos-master/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
113 static ssize_t axi_uartlite_read(ps_chardevice_t* d, void* vdata, argument
|
| /seL4-refos-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
241 i2c_kvslave_write(i2c_kvslave_t* kvs, uint64_t reg, const void* vdata, int count) argument
|
| H A D | i2c_bitbang.c | 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-refos-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
113 static ssize_t axi_uartlite_read(ps_chardevice_t* d, void* vdata, argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | mcs_api.h | 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-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | mcs_api.h | 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-refos-master/libs/libplatsupport/src/plat/imx6/ |
| H A D | i2c.c | 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
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | i2c.c | 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
|
| /seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
| H A D | serial.c | 384 tk1_uart_write(ps_chardevice_t* d, const void* vdata, argument
429 tk1_uart_read(ps_chardevice_t* d, void* vdata, argument
|
| /seL4-refos-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
429 tk1_uart_read(ps_chardevice_t* d, void* vdata, argument
|
| /seL4-refos-master/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
285 exynos_i2c_write(i2c_bus_t* i2c_bus, const void* vdata, size_t len, argument
321 exynos_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, argument
354 exynos_i2c_start_write(i2c_slave_t* sl, const void* vdata, size_t len, argument
|
| 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
267 static ssize_t exynos_uart_read(ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb, void *token) argument
|
| /seL4-refos-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
285 exynos_i2c_write(i2c_bus_t* i2c_bus, const void* vdata, size_t len, argument
321 exynos_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, argument
354 exynos_i2c_start_write(i2c_slave_t* sl, const void* vdata, size_t len, argument
|
| 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
267 static ssize_t exynos_uart_read(ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb, void *token) argument
|