Searched refs:do_get_x87 (Results 1 – 2 of 2) sorted by relevance
1661 void do_get_x87 ( /*IN*/VexGuestX86State* vex_state, in do_get_x87() function1716 do_get_x87( gst, &tmp ); in x86g_dirtyhelper_FXSAVE()1890 do_get_x87( gst, (Fpu_State*)addr ); in x86g_dirtyhelper_FSAVE()1908 do_get_x87( gst, &tmp ); in x86g_dirtyhelper_FSTENV()1927 do_get_x87 ( vex_state, (Fpu_State*)x87_state ); in LibVEX_GuestX86_get_x87()
2001 void do_get_x87 ( /*IN*/VexGuestAMD64State* vex_state, in do_get_x87() function2069 do_get_x87( gst, &tmp ); in amd64g_dirtyhelper_XSAVE_COMPONENT_0()2494 do_get_x87( vex_state, (Fpu_State*)x87_state ); in amd64g_dirtyhelper_FNSAVE()