Searched refs:__vki_s64 (Results 1 – 8 of 8) sorted by relevance
208 typedef __vki_s64 vki_int64_t;1347 __vki_s64 result; /* result code for this event */1348 __vki_s64 result2; /* secondary result */1372 __vki_s64 aio_offset;
49 typedef __signed__ long long __vki_s64; typedef
50 typedef __signed__ long __vki_s64; typedef
53 typedef __signed__ long long __vki_s64; typedef
295 typedef __signed__ long long __vki_s64;