Searched defs:getDebugChar (Results 1 - 9 of 9) sorted by relevance

/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dio.c39 unsigned char getDebugChar(void) function
/seL4-test-master/kernel/src/drivers/serial/
H A Dpl011.c31 unsigned char getDebugChar(void) function
H A Dtegra_omap3_dwapb.c31 unsigned char getDebugChar(void) function
H A Dmsm-uartdm.c35 unsigned char getDebugChar(void) function
H A Dmeson-gx-uart.c33 unsigned char getDebugChar(void) function
H A Dbcm2835-aux-uart.c48 unsigned char getDebugChar(void) function
H A Dexynos4210-uart.c44 unsigned char getDebugChar(void) function
H A Dimx.c46 unsigned char getDebugChar(void) function
H A Dxuartps.c44 unsigned char getDebugChar(void) function

Completed in 59 milliseconds