Searched refs:getDebugChar (Results 1 - 19 of 19) sorted by relevance

/seL4-mcs-10.1.1/src/plat/allwinnerA20/machine/
H A Dio.c35 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/am335x/machine/
H A Dio.c34 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/hikey/machine/
H A Dio.c35 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/omap3/machine/
H A Dio.c35 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/tk1/machine/
H A Dio.c35 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/tx1/machine/
H A Dio.c37 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/tx2/machine/
H A Dio.c37 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/apq8064/machine/
H A Dio.c40 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/zynqmp/machine/
H A Dio.c42 getDebugChar(void) function
/seL4-mcs-10.1.1/include/machine/
H A Dio.h29 unsigned char getDebugChar(void);
/seL4-mcs-10.1.1/src/plat/bcm2837/machine/
H A Dio.c58 unsigned char getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/exynos_common/
H A Dio.c51 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/imx31/machine/
H A Dio.c53 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/imx6/machine/
H A Dio.c50 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/imx7/machine/
H A Dio.c51 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dio.c54 getDebugChar(void) function
/seL4-mcs-10.1.1/src/plat/zynq7000/machine/
H A Dio.c50 getDebugChar(void) function
/seL4-mcs-10.1.1/src/arch/arm/32/machine/
H A Dcapdl.c32 c = getDebugChar();
37 c = getDebugChar();
258 c = getDebugChar();
/seL4-mcs-10.1.1/src/arch/x86/machine/
H A Dcapdl.c31 c = getDebugChar();
36 c = getDebugChar();
279 c = getDebugChar();

Completed in 46 milliseconds