Searched refs:GUEST_CR3 (Results 1 – 2 of 2) sorted by relevance
257 GUEST_CR3 = 0x00006802, enumerator
603 GUEST_CR3,738 FIELD(GUEST_CR3, guest_cr3),3490 vcpu->arch.cr3 = vmcs_readl(GUEST_CR3); in vmx_decache_cr3()3637 vmcs_writel(GUEST_CR3, guest_cr3); in vmx_set_cr3()9796 vmcs12->guest_cr3 = vmcs_read64(GUEST_CR3); in prepare_vmcs12()