IommupHvUnmapDeviceIdentityRange

VOID __stdcall IommupHvUnmapDeviceIdentityRange(INT64 a1, UINT64 a2){
  __int64 v2; 

  v2 = 0i64;
  if( !*(_BYTE *)(a1 + 40) )
  {
    LODWORD(v2) = *(_DWORD *)(a1 + 32);
    BYTE4(v2) = 0;
    ((void(__fastcall *)(__int64 *, UINT64))qword_140C4A2E8)(&v2, a2);
  }
}

Referenced by: