Searched defs:set_putchar (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c53 void set_putchar(void (*putchar)(int c)) { function

Completed in 59 milliseconds