INT64 __fastcall HalpIommuDomainMapLogical(INT64 a1, INT64 a2, INT64 a3, UINT64 a4, INT64 a5){
INT64 v6;
v6 = a4;
if( !HalpHvIommu )
return HalpIommuMapLogical(a1, *(_QWORD *)(a1 + 24), a3, a3, a4, a5);
if( HalpHvIommuDeviceDomain )
return IommupHvMapDeviceLogical(a1, 3i64, a3, (INT64)&v6, a5);
return 3221225659i64;
}