Searched refs:do_get_x87 (Results 1 – 2 of 2) sorted by relevance
1662 void do_get_x87 ( /*IN*/VexGuestX86State* vex_state, in do_get_x87() function1717 do_get_x87( gst, (UChar*)&tmp ); in x86g_dirtyhelper_FXSAVE()1891 do_get_x87( gst, (UChar*)addr ); in x86g_dirtyhelper_FSAVE()1909 do_get_x87( gst, (UChar*)&tmp ); in x86g_dirtyhelper_FSTENV()1928 do_get_x87 ( vex_state, x87_state ); in LibVEX_GuestX86_get_x87()
1906 void do_get_x87 ( /*IN*/VexGuestAMD64State* vex_state, in do_get_x87() function1974 do_get_x87( gst, (UChar*)&tmp ); in amd64g_dirtyhelper_XSAVE_COMPONENT_0()2399 do_get_x87( vex_state, (UChar*)x87_state ); in amd64g_dirtyhelper_FNSAVE()