Searched refs:clock_id_t (Results 1 – 5 of 5) sorted by relevance
53 typedef int clock_id_t; /* clock identification type */ typedef
63 type clock_id_t = int;
186 clock_id : clock_id_t;
161 clock_id : clock_id_t;
255 clock_id_t clock_id, in host_get_clock_service()