GUEST_GS_BASE
EVMCS1_FIELD(GUEST_GS_BASE, guest_gs_base,
vmcs_writel(GUEST_GS_BASE, vmcs12->guest_gs_base);
case GUEST_GS_BASE:
vmcs12->guest_gs_base = vmcs_readl(GUEST_GS_BASE);
FIELD(GUEST_GS_BASE, guest_gs_base),
msr_info->data = vmcs_readl(GUEST_GS_BASE);
vmcs_writel(GUEST_GS_BASE, data);
case GUEST_GS_BASE:
case GUEST_GS_BASE:
vmwrite(GUEST_GS_BASE, vmreadz(HOST_GS_BASE));