Searched refs:__camkes_putchar (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ | ||
H A D | component.common.c | 58 void __camkes_putchar(int c) { function 73 __camkes_putchar(buf[i]); |
Completed in 29 milliseconds