GUEST_CS_BASE
EVMCS1_FIELD(GUEST_CS_BASE, guest_cs_base,
vmcs_writel(GUEST_CS_BASE, vmcs12->guest_cs_base);
case GUEST_CS_BASE:
vmcs12->guest_cs_base = vmcs_readl(GUEST_CS_BASE);
FIELD(GUEST_CS_BASE, guest_cs_base),
vmcs_writel(GUEST_CS_BASE, 0xffff0000ul);
case GUEST_CS_BASE:
case GUEST_CS_BASE:
vmwrite(GUEST_CS_BASE, 0);