Searched defs:vki_timer_t (Results 1 – 2 of 2) sorted by relevance
93 #define vki_timer_t timer_t macro
182 typedef __vki_kernel_timer_t vki_timer_t; typedef