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