Searched refs:__vki_kernel_clockid_t (Results 1 – 11 of 11) sorted by relevance
50 typedef int __vki_kernel_clockid_t; typedef
53 typedef int __vki_kernel_clockid_t; typedef
47 typedef int __vki_kernel_clockid_t; typedef
60 typedef int __vki_kernel_clockid_t; typedef
183 typedef __vki_kernel_clockid_t vki_clockid_t;
225 typedef int __vki_kernel_clockid_t;