/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 33 typedef void (*chardev_callback_t)(ps_chardevice_t* device, enum chardev_status stat, size_t bytes_transfered, void* token); typedef 37 chardev_callback_t callback; 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); 54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token); 148 chardev_callback_t callback, void* token) 172 chardev_callback_t callback, void* token)
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 33 typedef void (*chardev_callback_t)(ps_chardevice_t* device, enum chardev_status stat, size_t bytes_transfered, void* token); typedef 37 chardev_callback_t callback; 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); 54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token); 148 chardev_callback_t callback, void* token) 172 chardev_callback_t callback, void* token)
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | serial.c | 22 chardev_callback_t rcb UNUSED, 38 chardev_callback_t rcb UNUSED,
|
H A D | chardev.h | 54 chardev_callback_t rcb UNUSED, 61 chardev_callback_t rcb UNUSED,
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | serial.c | 22 chardev_callback_t rcb UNUSED, 38 chardev_callback_t rcb UNUSED,
|
H A D | chardev.h | 54 chardev_callback_t rcb UNUSED, 61 chardev_callback_t rcb UNUSED,
|
/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, 46 keyboard_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED,
|
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) 111 text_ega_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED)
|
/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, 46 keyboard_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED,
|
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) 111 text_ega_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED)
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | serial.c | 21 chardev_callback_t cb UNUSED, void *token UNUSED)
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | serial.c | 21 chardev_callback_t cb UNUSED, void *token UNUSED)
|
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | axi_uartlite.c | 101 size_t count, chardev_callback_t rcb UNUSED, 114 size_t count, chardev_callback_t rcb UNUSED,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | axi_uartlite.c | 101 size_t count, chardev_callback_t rcb UNUSED, 114 size_t count, chardev_callback_t rcb UNUSED,
|
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | serial.c | 385 size_t count, chardev_callback_t rcb, 430 size_t count, chardev_callback_t rcb,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | serial.c | 385 size_t count, chardev_callback_t rcb, 430 size_t count, chardev_callback_t rcb,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
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, 267 static ssize_t exynos_uart_read(ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb, void *token)
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
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, 267 static ssize_t exynos_uart_read(ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb, void *token)
|