Searched refs:GUEST_CR3 (Results 1 – 2 of 2) sorted by relevance
261 GUEST_CR3 = 0x00006802, enumerator
658 GUEST_CR3,793 FIELD(GUEST_CR3, guest_cr3),3632 vcpu->arch.cr3 = vmcs_readl(GUEST_CR3); in vmx_decache_cr3()3779 vmcs_writel(GUEST_CR3, guest_cr3); in vmx_set_cr3()7951 pr_err("CR3 = 0x%016lx\n", vmcs_readl(GUEST_CR3)); in dump_vmcs()10208 vmcs12->guest_cr3 = vmcs_read64(GUEST_CR3); in prepare_vmcs12()