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