Searched refs:vki_int64_t (Results 1 - 3 of 3) sorted by relevance

/external/valgrind/main/include/vki/
H A Dvki-xen.h68 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_int64, vki_int64_t);
H A Dvki-linux.h236 typedef __vki_s64 vki_int64_t; typedef
2925 #define VKI_BINDER_SET_IDLE_TIMEOUT _VKI_IOW('b', 3, vki_int64_t)
H A Dvki-darwin.h45 #define vki_int64_t int64_t macro

Completed in 2106 milliseconds