GUEST_FS_BASE     856 arch/x86/kvm/vmx.c 		data = vmcs_readl(GUEST_FS_BASE);
GUEST_FS_BASE     907 arch/x86/kvm/vmx.c 		vmcs_writel(GUEST_FS_BASE, data);