Searched refs:__vki_s64 (Results 1 - 11 of 11) sorted by relevance

/external/valgrind/include/vki/
H A Dvki-mips64-linux.h72 typedef __signed__ long __vki_s64; typedef
75 typedef __signed__ long long __vki_s64; typedef
H A Dvki-amd64-linux.h49 typedef __signed__ long long __vki_s64; typedef
H A Dvki-arm64-linux.h49 typedef __signed__ long long __vki_s64; typedef
H A Dvki-linux.h240 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 valu
[all...]
H A Dvki-arm-linux.h53 typedef __signed__ long long __vki_s64; typedef
H A Dvki-ppc32-linux.h49 typedef __signed__ long long __vki_s64; typedef
H A Dvki-ppc64-linux.h52 typedef __signed__ long __vki_s64; typedef
H A Dvki-s390x-linux.h50 typedef __signed__ long __vki_s64; typedef
H A Dvki-tilegx-linux.h50 typedef __signed__ long long __vki_s64; typedef
H A Dvki-x86-linux.h49 typedef __signed__ long long __vki_s64; typedef
H A Dvki-mips32-linux.h66 typedef __signed__ long long __vki_s64; typedef

Completed in 112 milliseconds