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

/seL4-camkes-master/projects/global-components/components/SerialServer/camkes-putchar-client/templates/
H A DSerialServer-camkes-putchar-client.template.c16 set_putchar(/*? me.interface ?*/_putchar_putchar);
/seL4-camkes-master/projects/global-components/components/RTC/src/
H A Drtc.c32 set_putchar(putchar_putchar);
/seL4-camkes-master/projects/camkes/apps/serialserver_interrupt/components/Client/src/
H A Dinterrupt-client.c22 set_putchar(interrupt_putchar_putchar);
/seL4-camkes-master/projects/camkes/apps/serialserver_polling/components/Client/src/
H A Dpolling-client.c22 set_putchar(poll_putchar_putchar);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.template.h250 void set_putchar(void (*putchar)(int c));
H A Dcomponent.common.c53 void set_putchar(void (*putchar)(int c)) { function
/seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/
H A Dclient.c114 set_putchar(serial_putchar_putchar);
/seL4-camkes-master/projects/global-components/components/PCIConfigIO/src/
H A Dpci.c100 set_putchar(putchar_putchar);
/seL4-camkes-master/projects/global-components/components/BenchUtiliz/src/
H A DbenchUtiliz.c147 set_putchar(serial_putchar_putchar);
/seL4-camkes-master/projects/global-components/components/TimeServer/src/
H A Dtime_server.c253 set_putchar(putchar_putchar);
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserial.c509 set_putchar(serial_putchar);

Completed in 66 milliseconds