Searched refs:LibVEX_GuestARM64_set_fpsr (Results 1 – 3 of 3) sorted by relevance
194 void LibVEX_GuestARM64_set_fpsr ( /*MOD*/VexGuestARM64State* vex_state,
236 LibVEX_GuestARM64_set_fpsr(arm, fpsr64); in transfer_register()
1207 void LibVEX_GuestARM64_set_fpsr ( /*MOD*/VexGuestARM64State* vex_state, in LibVEX_GuestARM64_set_fpsr() function