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];
480 __vki_u32 mxcsr;
481 __vki_u32 mxcsr_mask;
482 __vki_u32 st_space[32]; /* 8*16 bytes for each FP-reg = 128 bytes */
483 __vki_u32 xmm_space[64]; /* 16*16 bytes for each XMM-reg = 256 bytes */
484 __vki_u32 padding[24];