Searched refs:__vki_kernel_timer_t (Results 1 – 12 of 12) 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
184 typedef __vki_kernel_timer_t vki_timer_t;
224 typedef int __vki_kernel_timer_t;