Searched defs:rcb (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
| H A D | serial.c | 384 tk1_uart_write(ps_chardevice_t* d, const void* vdata, size_t count, chardev_callback_t rcb, void* token) argument
429 tk1_uart_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb, void* token) argument
[all...] |
| /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, size_t count, chardev_callback_t rcb, void* token) argument
429 tk1_uart_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb, void* token) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | serial.c | 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/libs/libplatsupport/src/mach/exynos/ |
| H A D | serial.c | 267 static ssize_t exynos_uart_read(ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb, void *token) argument
|
Completed in 94 milliseconds