Searched refs:__vki_s64 (Results 1 – 12 of 12) sorted by relevance
240 typedef __vki_s64 vki_int64_t;1396 __vki_s64 d_off;1453 __vki_s64 result; /* result code for this event */1454 __vki_s64 result2; /* secondary result */1478 __vki_s64 aio_offset;4042 __vki_s64 value64;4076 __vki_s64 minimum;4077 __vki_s64 maximum;4079 __vki_s64 default_value;4093 __vki_s64 value;[all …]
72 typedef __signed__ long __vki_s64; typedef75 typedef __signed__ long long __vki_s64; typedef
49 typedef __signed__ long long __vki_s64; typedef
50 typedef __signed__ long long __vki_s64; typedef
50 typedef __signed__ long __vki_s64; typedef
52 typedef __signed__ long __vki_s64; typedef
53 typedef __signed__ long long __vki_s64; typedef
66 typedef __signed__ long long __vki_s64; typedef
295 typedef __signed__ long long __vki_s64;