Searched refs:serial_putchar (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dserial.c67 static void serial_putchar(int c);
358 static void serial_putchar(int c) function
394 serial_putchar(text_buf[i]);
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserial.c494 void serial_putchar(int c) function
509 set_putchar(serial_putchar);

Completed in 107 milliseconds