Searched refs:fpu_xmm13 (Results 1 – 3 of 3) sorted by relevance
1573 xmm_reg_t fpu_xmm13; member
1588 xmm_reg_t fpu_xmm13; member
8599 Print_xmm_reg(fpu.fpu_xmm13); in Print_x86_float_state_t()