Searched defs:uart_getchar (Results 1 - 17 of 17) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dserial.c28 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/polarfire/
H A Duart.c26 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dserial.c29 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dserial.c49 int uart_getchar(ps_chardevice_t* d UNUSED) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dserial.c31 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Dserial.c28 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/tools/riscv-pk/machine/
H A Duart.c26 int uart_getchar() function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dserial.c29 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dserial.c31 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dserial.c60 int uart_getchar(ps_chardevice_t* d UNUSED) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/
H A Dserial.c39 int uart_getchar(ps_chardevice_t* d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/
H A Dserial.c33 int uart_getchar(ps_chardevice_t* d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dserial.c44 int uart_getchar(ps_chardevice_t *device) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Duart.c51 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/serial/
H A Dserial.c90 int uart_getchar( function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dserial.c148 int uart_getchar(ps_chardevice_t *d) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dserial.c186 int uart_getchar( function

Completed in 111 milliseconds