CHAR __stdcall HalpAreDriversDmarCompatible(_DEVICE_OBJECT *a1){
CHAR result;
UINT64 Size;
UINT64 v3;
UINT64 v4;
int v5;
v5 = 0;
LODWORD(v4) = 0;
LODWORD(v3) = 0;
LODWORD(Size) = 4;
if( IoGetDevicePropertyData(a1, (_DEVPROPKEY *)&DEVPKEY_Device_DmaRemappingPolicy, 0i64, 0i64, Size, &v5, &v4, &v3) < 0 )
return 0;
if( (_DWORD)v3 != 7 )
return 0;
if( (_DWORD)v4 != 4 )
return 0;
if( v5 < 0 )
return 0;
result = 1;
if( v5 <= 1 || v5 != 2 )
return 0;
return result;
}