Searched refs:__vki_s64 (Results 1 – 11 of 11) sorted by relevance
236 typedef __vki_s64 vki_int64_t;1393 __vki_s64 d_off;1466 __vki_s64 result; /* result code for this event */1467 __vki_s64 result2; /* secondary result */1491 __vki_s64 aio_offset;4073 __vki_s64 value64;4107 __vki_s64 minimum;4108 __vki_s64 maximum;4110 __vki_s64 default_value;4124 __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 __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;