Searched refs:GUEST_CR3 (Results 1 – 2 of 2) sorted by relevance
210 GUEST_CR3 = 0x00006802, enumerator
537 FIELD(GUEST_CR3, guest_cr3),2886 vcpu->arch.cr3 = vmcs_readl(GUEST_CR3); in vmx_decache_cr3()3022 vmcs_writel(GUEST_CR3, guest_cr3); in vmx_set_cr3()