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

/seL4-refos-master/libs/libsel4utils/src/time_server/
H A Dclient.c56 client_ltimer_t *client_ltimer = ltimer->data; local
57 client_ltimer->ep = ep;
58 client_ltimer->label = label;
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/time_server/
H A Dclient.c56 client_ltimer_t *client_ltimer = ltimer->data; local
57 client_ltimer->ep = ep;
58 client_ltimer->label = label;

Completed in 110 milliseconds