GUEST_SS_AR_BYTES 1314 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_SS_AR_BYTES, 0x93);
GUEST_SS_AR_BYTES 1372 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_SS_AR_BYTES, 0xf3);