GUEST_SS_SELECTOR 1313 arch/x86/kvm/vmx.c 	vmcs_write16(GUEST_SS_SELECTOR, 0);
GUEST_SS_SELECTOR 1370 arch/x86/kvm/vmx.c 	vmcs_write16(GUEST_SS_SELECTOR, vmcs_readl(GUEST_SS_BASE) >> 4);