Searched defs:__vki_kernel_clockid_t (Results 1 – 10 of 10) sorted by relevance
50 typedef int __vki_kernel_clockid_t; typedef
51 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