Searched refs:HOST_CR3 (Results 1 – 2 of 2) sorted by relevance
281 HOST_CR3 = 0x00006c02, enumerator
813 FIELD(HOST_CR3, host_cr3),4636 vmcs_writel(HOST_CR3, read_cr3()); /* 22.2.3 FIXME: shadow tables */ in vmx_set_constant_host_state()8010 vmcs_readl(HOST_CR0), vmcs_readl(HOST_CR3), in dump_vmcs()