Searched refs:tk1_uart_write (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ | ||
H A D | serial.c | 384 tk1_uart_write(ps_chardevice_t* d, const void* vdata, function 693 dev->write = &tk1_uart_write; |
Completed in 29 milliseconds