Searched defs:uart_put_char (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/uart/components/Driver/src/
H A Ddriver.c43 void uart_put_char(char c) function
/seL4-camkes-master/projects/camkes/apps/testnto1mmio/
H A Ddriver.h33 static inline void uart_put_char(char c) function

Completed in 64 milliseconds