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