Lines Matching refs:Fpu_State
1942 /*IN*/Fpu_State* x87_state,
2002 /*OUT*/Fpu_State* x87_state )
2061 Fpu_State tmp;
2204 Fpu_State tmp;
2211 Fpu_State
2442 return do_put_x87( False, (Fpu_State*)x87_state, vex_state );
2456 Fpu_State* x87 = (Fpu_State*)x87_state;
2494 do_get_x87( vex_state, (Fpu_State*)x87_state );
2548 return do_put_x87( True, (Fpu_State*)x87_state, vex_state );