HomeSort by relevance Sort by last modified time
    Searched refs:__vki_kernel_timer_t (Results 1 - 11 of 11) sorted by null

  /external/valgrind/include/vki/
vki-posixtypes-amd64-linux.h 49 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-arm-linux.h 49 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-arm64-linux.h 49 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-mips32-linux.h 49 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-ppc32-linux.h 49 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-ppc64-linux.h 52 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-tilegx-linux.h 50 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-x86-linux.h 49 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-s390x-linux.h 46 typedef int __vki_kernel_timer_t; typedef
vki-posixtypes-mips64-linux.h 59 typedef int __vki_kernel_timer_t; typedef
vki-linux.h 184 typedef __vki_kernel_timer_t vki_timer_t;
    [all...]

Completed in 2670 milliseconds