Searched defs:__vki_s32 (Results 1 - 9 of 9) sorted by relevance

/external/valgrind/include/vki/
H A Dvki-arm64-linux.h46 typedef __signed__ int __vki_s32; typedef
H A Dvki-amd64-linux.h46 typedef __signed__ int __vki_s32; typedef
H A Dvki-ppc32-linux.h46 typedef __signed__ int __vki_s32; typedef
H A Dvki-ppc64-linux.h49 typedef __signed__ int __vki_s32; typedef
H A Dvki-s390x-linux.h47 typedef __signed__ int __vki_s32; typedef
H A Dvki-arm-linux.h50 typedef __signed__ int __vki_s32; typedef
H A Dvki-mips32-linux.h54 typedef __signed__ int __vki_s32; typedef
H A Dvki-mips64-linux.h59 typedef __signed__ int __vki_s32; typedef
H A Dvki-x86-linux.h46 typedef __signed__ int __vki_s32; typedef

Completed in 897 milliseconds