Lines Matching refs:guest_f4
112 vex_state->guest_f4 = 0x7ff800007ff80000ULL;219 vex_state->guest_f4 = 0x7ff800007ff80000ULL;