Home
last modified time | relevance | path

Searched refs:MU_IO (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/drivers/serial/
A Dbcm2835-aux-uart.c14 #define MU_IO 0x00 macro
43 *UART_REG(MU_IO) = (c & 0xff); in uart_drv_putchar()
51 return *UART_REG(MU_IO); in uart_drv_getchar()

Completed in 1 milliseconds