IommupHvRegisterDeviceId

VOID __stdcall IommupHvRegisterDeviceId(){
  _QWORD *v0; 
  __int64 v1; 
  _QWORD *v2; 
  __int64 v3; 

  v2 = v0;
  v3 = _InterlockedIncrement(&HalpHvLogicalId);
  if( (int)((__int64(__fastcall *)(__int64, __int64))qword_140C4A2A0)(v1, v3) >= 0 )
    *v2 = v3;
}

Referenced by:

HalpIommuCreateDevice