Searched refs:__plat_putchar (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dplat_internal.h23 __plat_putchar(int c);
H A Dserial.c62 void __plat_putchar(int c) function
H A Dcommon.c307 __plat_putchar(c);
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dmain.c69 void __plat_putchar(int c);
74 __plat_putchar(buf[i]);

Completed in 86 milliseconds