Searched refs:client_get_time (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/time_server/ | ||
| H A D | client.c | 25 static int client_get_time(void *data, uint64_t *time) function 48 ltimer->get_time = client_get_time; |
Completed in 91 milliseconds