Searched refs:putDebugChar (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/seL4/src/arch/riscv/machine/
H A Dio.c12 void putDebugChar(unsigned char c) function
/seL4-l4v-master/seL4/src/drivers/serial/
H A Dmsm-uartdm.c24 void putDebugChar(unsigned char c) function
H A Dpl011.c22 void putDebugChar(unsigned char c) function
H A Dtegra_omap3_dwapb.c22 void putDebugChar(unsigned char c) function
H A Dmeson-gx-uart.c23 void putDebugChar(unsigned char c) function
H A Dbcm2835-aux-uart.c40 void putDebugChar(unsigned char c) function
H A Dexynos4210-uart.c36 void putDebugChar(unsigned char c) function
H A Dxuartps.c36 void putDebugChar(unsigned char c) function
H A Dimx.c38 void putDebugChar(unsigned char c) function
/seL4-l4v-master/seL4/include/machine/
H A Dio.h17 void putDebugChar(unsigned char c);
/seL4-l4v-master/seL4/src/plat/pc99/machine/
H A Dio.c30 void putDebugChar(unsigned char a) function
/seL4-l4v-master/seL4/src/machine/
H A Dio.c53 putDebugChar('\r');
55 putDebugChar(c);

Completed in 51 milliseconds