| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | serial.c | 34 int uart_putchar(ps_chardevice_t *d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/polarfire/ |
| H A D | uart.c | 45 int uart_putchar(ps_chardevice_t *d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | serial.c | 39 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | serial.c | 37 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | serial.c | 41 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | serial.c | 38 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/tools/riscv-pk/machine/ |
| H A D | uart.c | 9 void uart_putchar(uint8_t ch) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | serial.c | 39 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
| H A D | serial.c | 41 int uart_putchar(ps_chardevice_t *d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | serial.c | 52 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
| H A D | serial.c | 54 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
| H A D | serial.c | 42 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | serial.c | 78 int uart_putchar(ps_chardevice_t* device, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | uart.c | 63 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/serial/ |
| H A D | serial.c | 117 int uart_putchar( function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | serial.c | 161 int uart_putchar(ps_chardevice_t* d, int c) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | serial.c | 211 int uart_putchar( function
|