Searched refs:vki_int64_t (Results 1 – 3 of 3) sorted by relevance
68 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_int64, vki_int64_t);
45 #define vki_int64_t int64_t macro
236 typedef __vki_s64 vki_int64_t; typedef2925 #define VKI_BINDER_SET_IDLE_TIMEOUT _VKI_IOW('b', 3, vki_int64_t)