Searched refs:chardev_callback_t (Results 1 - 18 of 18) sorted by relevance

/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dchardev.h33 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 Dchardev.h33 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 Dserial.c22 chardev_callback_t rcb UNUSED,
38 chardev_callback_t rcb UNUSED,
H A Dchardev.h54 chardev_callback_t rcb UNUSED,
61 chardev_callback_t rcb UNUSED,
/seL4-refos-master/libs/libplatsupport/src/
H A Dserial.c22 chardev_callback_t rcb UNUSED,
38 chardev_callback_t rcb UNUSED,
H A Dchardev.h54 chardev_callback_t rcb UNUSED,
61 chardev_callback_t rcb UNUSED,
/seL4-refos-master/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,
46 keyboard_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED,
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)
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 Dkeyboard_chardev.c38 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 Dega.c98 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 Dserial.c21 chardev_callback_t cb UNUSED, void *token UNUSED)
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dserial.c21 chardev_callback_t cb UNUSED, void *token UNUSED)
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/
H A Daxi_uartlite.c101 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 Daxi_uartlite.c101 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 Dserial.c385 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 Dserial.c385 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 Dserial.c183 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 Dserial.c183 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)

Completed in 383 milliseconds