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