NTSTATUS __stdcall HalpIommuGetAcpiDeviceMapCount(INT64 a1){
INT64 v1;
NTSTATUS result;
v1 = qword_140C49B50;
result = 0;
while( (INT64 *)v1 != &qword_140C49B50 )
{
if( *(_QWORD *)(v1 + 352) )
{
result = (*(__int64(__fastcall **)(_QWORD, INT64))(v1 + 352))(*(_QWORD *)(v1 + 16), a1);
if( result )
break;
}
v1 = *(_QWORD *)v1;
}
return result;
}