Searched refs:client_set_timeout (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libsel4utils/src/time_server/
H A Dclient.c35 static int client_set_timeout(void *data, uint64_t ns, timeout_type_t type) function
49 ltimer->set_timeout = client_set_timeout;
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/time_server/
H A Dclient.c35 static int client_set_timeout(void *data, uint64_t ns, timeout_type_t type) function
49 ltimer->set_timeout = client_set_timeout;

Completed in 77 milliseconds