Searched refs:clock_id_t (Results 1 – 5 of 5) sorted by relevance
53 typedef int clock_id_t; /* clock identification type */ typedef
67 type clock_id_t = int;
152 clock_id : clock_id_t;
188 clock_id : clock_id_t;
258 clock_id_t clock_id, in host_get_clock_service()279 clock_id_t clock_id, in host_get_clock_control()