GUEST_CS_BASE    1376 arch/x86/kvm/vmx.c 	if (vmcs_readl(GUEST_CS_BASE) == 0xffff0000)
GUEST_CS_BASE    1377 arch/x86/kvm/vmx.c 		vmcs_writel(GUEST_CS_BASE, 0xf0000);
GUEST_CS_BASE    1378 arch/x86/kvm/vmx.c 	vmcs_write16(GUEST_CS_SELECTOR, vmcs_readl(GUEST_CS_BASE) >> 4);
GUEST_CS_BASE    2045 arch/x86/kvm/vmx.c 		vmcs_writel(GUEST_CS_BASE, 0x000f0000);
GUEST_CS_BASE    2048 arch/x86/kvm/vmx.c 		vmcs_writel(GUEST_CS_BASE, vmx->vcpu.arch.sipi_vector << 12);