INT64 __fastcall HalpIommuDetermineReservedPciRid(UINT64 *a1){
int v2;
unsigned int i;
_QWORD *v4;
_DWORD *v5;
v2 = 0;
for( i = 0; i < *(_DWORD *)a1; ++i )
{
v4 = (_QWORD *)a1[i + 1];
v5 = (_DWORD *)*v4;
if( *(_DWORD *)*v4 == 1 )
{
if( *((_WORD *)v5 + 7) )
{
v2 = HalpPciConvertDevicePathToRid((INT64)(v5 + 2));
if( v2 < 0 )
break;
}
}
}
return(unsigned int)v2;
}