GUEST_FS_BASE
EVMCS1_FIELD(GUEST_FS_BASE, guest_fs_base,
vmcs_writel(GUEST_FS_BASE, vmcs12->guest_fs_base);
case GUEST_FS_BASE:
vmcs12->guest_fs_base = vmcs_readl(GUEST_FS_BASE);
FIELD(GUEST_FS_BASE, guest_fs_base),
msr_info->data = vmcs_readl(GUEST_FS_BASE);
vmcs_writel(GUEST_FS_BASE, data);
case GUEST_FS_BASE:
case GUEST_FS_BASE:
vmwrite(GUEST_FS_BASE, vmreadz(HOST_FS_BASE));