Lines Matching refs:vki_int32_t
226 typedef __vki_s32 vki_int32_t;2541 typedef vki_int32_t vki_key_serial_t;
