GUEST_GS_BASE     859 arch/x86/kvm/vmx.c 		data = vmcs_readl(GUEST_GS_BASE);
GUEST_GS_BASE     910 arch/x86/kvm/vmx.c 		vmcs_writel(GUEST_GS_BASE, data);