Home | History | Annotate | Download | only in vki

Lines Matching defs:__vki_s32

54 typedef __signed__ int __vki_s32;