GUEST_SS_BASE
EVMCS1_FIELD(GUEST_SS_BASE, guest_ss_base,
vmcs_writel(GUEST_SS_BASE, vmcs12->guest_ss_base);
case GUEST_SS_BASE:
vmcs12->guest_ss_base = vmcs_readl(GUEST_SS_BASE);
FIELD(GUEST_SS_BASE, guest_ss_base),
case GUEST_SS_BASE:
case GUEST_SS_BASE:
vmwrite(GUEST_SS_BASE, 0);