Searched defs:__vki_kernel_timer_t (Results 1 – 7 of 7) sorted by relevance
49 typedef int __vki_kernel_timer_t; typedef
52 typedef int __vki_kernel_timer_t; typedef
46 typedef int __vki_kernel_timer_t; typedef