Searched refs:ps_cdev_putchar (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
H A D | stdio_dspace.c | 45 ps_cdev_putchar(&conServ.devSerial, ((char*) rpc_buf.data)[i]); 80 ps_cdev_putchar(&conServ.devSerial, rpc_c);
|
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
H A D | stdio_dspace.c | 45 ps_cdev_putchar(&conServ.devSerial, ((char*) rpc_buf.data)[i]); 80 ps_cdev_putchar(&conServ.devSerial, rpc_c);
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | serial.c | 65 ps_cdev_putchar(console, c);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | serial.c | 65 ps_cdev_putchar(console, c);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | state.c | 52 ps_cdev_putchar(&conServ.devSerial, ((char*) data)[i]);
|
/seL4-refos-master/apps/console_server/src/ |
H A D | state.c | 52 ps_cdev_putchar(&conServ.devSerial, ((char*) data)[i]);
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 107 static inline void ps_cdev_putchar(ps_chardevice_t* d, int c) function
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 107 static inline void ps_cdev_putchar(ps_chardevice_t* d, int c) function
|
Completed in 117 milliseconds