NTSTATUS __stdcall HalConvertDeviceIdtToIrql(UINT64 IdtEntry){
char v1;
NTSTATUS result;
if( (unsigned int)IdtEntry >= 0x100 || (v1 = (unsigned __int8)IdtEntry >> 4, (unsigned __int8)v1 < 3u) )
{
v1 = 3;
}
else if( (unsigned __int8)v1 > 0xCu )
{
v1 = 12;
}
LOBYTE(result) = v1;
return result;
}