Lines Matching refs:current_vvmcs
715 vcpu->arch.nested.current_vvmcs = NULL; in reset_vvmcs()
891 struct acrn_vvmcs *cur_vvmcs = vcpu->arch.nested.current_vvmcs; in vmread_vmexit_handler()
926 struct acrn_vvmcs *cur_vvmcs = vcpu->arch.nested.current_vvmcs; in vmwrite_vmexit_handler()
1167 } else if ((nested->current_vvmcs != NULL) && (nested->current_vvmcs->vmcs12_gpa == vmcs12_gpa)) { in vmptrld_vmexit_handler()
1216 nested->current_vvmcs = vvmcs; in vmptrld_vmexit_handler()
1246 if (nested->current_vvmcs) { in vmclear_vmexit_handler()
1247 current_vmcs12_gpa = nested->current_vvmcs->vmcs12_gpa; in vmclear_vmexit_handler()
1260 nested->current_vvmcs = NULL; in vmclear_vmexit_handler()
1266 enable_vmcs_shadowing(nested->current_vvmcs); in vmclear_vmexit_handler()
1329 struct acrn_vmcs12 *vmcs12 = &vcpu->arch.nested.current_vvmcs->vmcs12; in set_vmcs01_guest_state()
1332 if (vcpu->arch.nested.current_vvmcs->host_state_dirty == true) { in set_vmcs01_guest_state()
1333 vcpu->arch.nested.current_vvmcs->host_state_dirty = false; in set_vmcs01_guest_state()
1426 struct acrn_vvmcs *cur_vvmcs = vcpu->arch.nested.current_vvmcs; in nested_vmexit_handler()
1473 struct acrn_vvmcs *cur_vvmcs = vcpu->arch.nested.current_vvmcs; in nested_vmentry()