Searched refs:write_buf (Results 1 - 1 of 1) sorted by path
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ | ||
H A D | component.common.c | 69 write_buf(void *data, size_t count) function 511 sel4muslcsys_register_stdio_write_fn(write_buf); |
Completed in 38 milliseconds