Searched defs:__vki_s32 (Results 1 – 7 of 7) sorted by relevance
46 typedef __signed__ int __vki_s32; typedef
47 typedef __signed__ int __vki_s32; typedef
50 typedef __signed__ int __vki_s32; typedef
54 typedef __signed__ int __vki_s32; typedef