On 23/07/21 13:27, Lara Lazier wrote:
@@ -353,9 +358,12 @@ void helper_vmrun(CPUX86State *env, int aflag, int
next_eip_addend)
tlb_flush(cs);
break;
}
-
-env->hflags2 |= HF2_GIF_MASK;
-
+if (virtual_gif_enabled(env, int_ctl)) {
+x86_stl_phys(cs, env->vm_
VGIF allows STGI and CLGI to execute in guest mode and control virtual
interrupts in guest mode.
When the VGIF feature is enabled then:
* executing STGI in the guest sets bit 9 of the VMCB offset 60h.
* executing CLGI in the guest clears bit 9 of the VMCB offset 60h.
Signed-off-by: Lara Lazier
