Searched refs:__vki_kernel_timer_t (Results 1 - 11 of 11) sorted by relevance

/external/valgrind/include/vki/
H A Dvki-posixtypes-amd64-linux.h49 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-arm-linux.h49 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-arm64-linux.h49 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-mips32-linux.h49 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-ppc32-linux.h49 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-ppc64-linux.h52 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-tilegx-linux.h50 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-x86-linux.h49 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-s390x-linux.h46 typedef int __vki_kernel_timer_t; typedef
H A Dvki-posixtypes-mips64-linux.h59 typedef int __vki_kernel_timer_t; typedef
H A Dvki-linux.h184 typedef __vki_kernel_timer_t vki_timer_t;

Completed in 90 milliseconds