Lines Matching refs:vmcs02
306 /* Unpin physical memory we referred to in the vmcs02 */
319 free_loaded_vmcs(&vmx->nested.vmcs02);
569 unsigned long *msr_bitmap_l0 = to_vmx(vcpu)->nested.vmcs02.msr_bitmap;
1052 * instead of reading the value from the vmcs02 VMExit
1212 * Defer the flush so that it runs after vmcs02.EPTP has been set by
2165 * If vmcs02 hasn't been initialized, set the constant vmcs02 state
2191 vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap));
2194 * The PML address never changes, so it is constant in vmcs02.
2198 * index is also effectively constant in vmcs02.
2210 * addresses are constant (for vmcs02), the counts can change based
2505 * count in the vmcs02.
2521 * needs. In addition to modifying the active vmcs (which is vmcs02), this
2616 * Immediately write vmcs02.GUEST_CR3. It will be propagated to vmcs12
3173 * address for vmcs02. Keep the page pinned, so this
3389 vmx_switch_vmcs(vcpu, &vmx->nested.vmcs02);
3554 * when using the merged vmcs02.
3635 * It's not enough to just return the vmcs02 GUEST_CR0. Rather,
3637 * available in vmcs02 GUEST_CR0. (Note: It's enough to check that L0
3641 * the bit from vmcs12.guest_cr0. Note that the bit from vmcs02 GUEST_CR0
3646 * put them in vmcs02 CR0_READ_SHADOW. So take these bits from there.
4076 vmx->loaded_vmcs = &vmx->nested.vmcs02;
4082 vmx_vcpu_load_vmcs(vcpu, cpu, &vmx->nested.vmcs02);
4591 /* Unpin physical memory we referred to in vmcs02 */
4859 r = alloc_loaded_vmcs(&vmx->nested.vmcs02);
4897 free_loaded_vmcs(&vmx->nested.vmcs02);
5268 * by L1 without a vmexit are always updated in the vmcs02, i.e. don't
6177 * vmcs02. When running L1, the authoritative vmcs12 state is
6436 * fields of vmcs01 and vmcs02, will turn these bits off - and