Searched defs:clockserver_interface_init (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/global-components/components/ClockServer/libClockServer-client/ | ||
H A D | clockserver_client.c | 89 int clockserver_interface_init(ps_io_ops_t *io_ops, function |
Completed in 25 milliseconds