vmcs_read16      1282 arch/x86/kvm/vmx.c 		u32 dpl = (vmcs_read16(sf->selector) & SELECTOR_RPL_MASK)
vmcs_read16      1317 arch/x86/kvm/vmx.c 		     vmcs_read16(GUEST_CS_SELECTOR) & ~SELECTOR_RPL_MASK);
vmcs_read16      1335 arch/x86/kvm/vmx.c 	save->selector = vmcs_read16(sf->selector);
vmcs_read16      1607 arch/x86/kvm/vmx.c 	var->selector = vmcs_read16(sf->selector);