Searched refs:kernel_putchar (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/machine/
H A Dio.h28 #define kernel_putchar(c) putchar(c) macro
36 #define kernel_putchar(c) ((void)(0)) macro
/seL4-test-master/kernel/src/machine/
H A Dio.c553 // printf only needs to call kernel_putchar
556 kernel_putchar(c);
562 kernel_putchar(*s);
564 kernel_putchar('\n');
/seL4-test-master/kernel/src/api/
H A Dsyscall.c73 kernel_putchar(getRegister(NODE_STATE(ksCurThread), capRegister));

Completed in 36 milliseconds