Searched refs:vmcs12 (Results 1 – 3 of 3) sorted by relevance
1329 struct acrn_vmcs12 *vmcs12 = &vcpu->arch.nested.current_vvmcs->vmcs12; in set_vmcs01_guest_state() local1367 seg.selector = vmcs12->host_ss; in set_vmcs01_guest_state()1370 seg.selector = vmcs12->host_es; in set_vmcs01_guest_state()1373 seg.selector = vmcs12->host_fs; in set_vmcs01_guest_state()1374 seg.base = vmcs12->host_fs_base; in set_vmcs01_guest_state()1377 seg.selector = vmcs12->host_gs; in set_vmcs01_guest_state()1378 seg.base = vmcs12->host_gs_base; in set_vmcs01_guest_state()1385 set_segment(&seg, vmcs12->host_tr, vmcs12->host_tr_base, 0x67U, TR_AR); in set_vmcs01_guest_state()1414 flush_vpid_single(vmcs12->vpid); in sanitize_l2_vpid()1474 struct acrn_vmcs12 *vmcs12 = &cur_vvmcs->vmcs12; in nested_vmentry() local[all …]
396 uint64_t guest_eptp = vcpu->arch.nested.current_vvmcs->vmcs12.ept_pointer; in handle_l2_ept_violation()
334 struct acrn_vmcs12 vmcs12; /* To cache L1's VMCS12*/ member
Completed in 9 milliseconds