INT64 __stdcall PsAltSystemCallDispatch(){
char v0;
__int64(*v1)(void);
v0 = *((_BYTE *)KeGetCurrentThread() + 3);
if( (v0 & 4) != 0 )
{
v1 = (__int64(*)(void))PsAltSystemCallHandlers[0];
}
else
{
if( (v0 & 0x20) == 0 )
goto LABEL_7;
v1 = (__int64(*)(void))qword_140CFB7A0;
}
if( (unsigned __int64)v1 < 2 )
LABEL_7:
KeBugCheckEx(0x1E0u, 4ui64, 0i64, 0i64, 0i64);
return v1();
}