HOST_CR3
EVMCS1_FIELD(HOST_CR3, host_cr3,
FIELD(HOST_CR3, host_cr3),
vmcs_writel(HOST_CR3, cr3); /* 22.2.3 FIXME: shadow tables */
vmcs_readl(HOST_CR0), vmcs_readl(HOST_CR3),
vmcs_writel(HOST_CR3, cr3);
case HOST_CR3:
case HOST_CR3:
vmwrite(HOST_CR3, get_cr3());
vmwrite(GUEST_CR3, vmreadz(HOST_CR3));