GUEST_CS_SELECTOR 1316 arch/x86/kvm/vmx.c 	vmcs_write16(GUEST_CS_SELECTOR,
GUEST_CS_SELECTOR 1317 arch/x86/kvm/vmx.c 		     vmcs_read16(GUEST_CS_SELECTOR) & ~SELECTOR_RPL_MASK);
GUEST_CS_SELECTOR 1378 arch/x86/kvm/vmx.c 	vmcs_write16(GUEST_CS_SELECTOR, vmcs_readl(GUEST_CS_BASE) >> 4);
GUEST_CS_SELECTOR 2044 arch/x86/kvm/vmx.c 		vmcs_write16(GUEST_CS_SELECTOR, 0xf000);
GUEST_CS_SELECTOR 2047 arch/x86/kvm/vmx.c 		vmcs_write16(GUEST_CS_SELECTOR, vmx->vcpu.arch.sipi_vector << 8);