Lines Matching refs:vmcs02
323 * Unpin physical memory we referred to in the vmcs02. The APIC access
336 free_loaded_vmcs(&vmx->nested.vmcs02);
574 unsigned long *msr_bitmap_l0 = vmx->nested.vmcs02.msr_bitmap;
1062 * instead of reading the value from the vmcs02 VMExit
2168 * If vmcs02 hasn't been initialized, set the constant vmcs02 state
2194 vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap));
2214 * addresses are constant (for vmcs02), the counts can change based
2511 * count in the vmcs02.
2527 * needs. In addition to modifying the active vmcs (which is vmcs02), this
2632 * Immediately write vmcs02.GUEST_CR3. It will be propagated to vmcs12
3444 vmx_switch_vmcs(vcpu, &vmx->nested.vmcs02);
3603 * when using the merged vmcs02.
3694 * It's not enough to just return the vmcs02 GUEST_CR0. Rather,
3696 * available in vmcs02 GUEST_CR0. (Note: It's enough to check that L0
3700 * the bit from vmcs12.guest_cr0. Note that the bit from vmcs02 GUEST_CR0
3705 * put them in vmcs02 CR0_READ_SHADOW. So take these bits from there.
4312 vmx->loaded_vmcs = &vmx->nested.vmcs02;
4318 vmx_vcpu_load_vmcs(vcpu, cpu, &vmx->nested.vmcs02);
4840 /* Unpin physical memory we referred to in vmcs02 */
5097 r = alloc_loaded_vmcs(&vmx->nested.vmcs02);
5136 free_loaded_vmcs(&vmx->nested.vmcs02);
5532 * by L1 without a vmexit are always updated in the vmcs02, i.e. don't
5889 * is enabled in vmcs02 if and only if it's enabled in vmcs12.
6199 * vmcs02, always "handle" PML_FULL by exiting to userspace.
6483 * vmcs02. When running L1, the authoritative vmcs12 state is
7017 * fields of vmcs01 and vmcs02, will turn these bits off - and