Searched refs:current_vvmcs (Results 1 – 3 of 3) sorted by relevance
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()1333 vcpu->arch.nested.current_vvmcs->host_state_dirty = false; in set_vmcs01_guest_state()[all …]
396 uint64_t guest_eptp = vcpu->arch.nested.current_vvmcs->vmcs12.ept_pointer; in handle_l2_ept_violation()
345 struct acrn_vvmcs *current_vvmcs; /* Refer to the current loaded VMCS12 */ member
Completed in 9 milliseconds