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