INT64 __fastcall IommupHvUnmapDeviceIdentityRange(INT64 a1){
__int64 v2;
v2 = 0i64;
if( *(_BYTE *)(a1 + 40) )
return 3221225485i64;
LODWORD(v2) = *(_DWORD *)(a1 + 32);
BYTE4(v2) = 0;
return((__int64(__fastcall *)(__int64 *))qword_140C4A2E8)(&v2);
}