Searched refs:handle_char (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dplat.h22 void plat_serial_interrupt(handle_char_fn handle_char);
H A Dplat.c38 void plat_serial_interrupt(handle_char_fn handle_char) argument
46 handle_char((uint8_t)data);
H A Dserial.c353 static void handle_char(uint8_t c) function
485 plat_serial_interrupt(handle_char);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dserial.c306 static bool handle_char(void) function
334 bool result = handle_char();

Completed in 82 milliseconds