On 01/06/20 01:11, Krish Sadhukhan wrote: >> >> + svm->vmcb->control.int_ctl = >> + (svm->nested.ctl.int_ctl & ~mask) | >> + (svm->nested.hsave->control.int_ctl & mask); > > > If this is the very first VMRUN, do we have any int_ctl saved in hsave ? Yes, copy_vmcb_control_area(hsave, vmcb) is called before enter_svm_guest_mode (which calls nested_prepare_vmcb_control). Paolo
