Lines Matching refs:__vki_u32
47 typedef unsigned int __vki_u32;
186 __vki_u32 mxcsr;
187 __vki_u32 mxcsr_mask;
188 __vki_u32 st_space[32]; /* 8*16 bytes for each FP-reg */
189 __vki_u32 xmm_space[64]; /* 16*16 bytes for each XMM-reg */
190 __vki_u32 reserved2[24];
504 __vki_u32 mxcsr;
505 __vki_u32 mxcsr_mask;
506 __vki_u32 st_space[32]; /* 8*16 bytes for each FP-reg = 128 bytes */
507 __vki_u32 xmm_space[64]; /* 16*16 bytes for each XMM-reg = 256 bytes */
508 __vki_u32 padding[24];
