INT64 __fastcall IommupHvRegisterDeviceId(INT64 a1, _QWORD *a2){
__int64 v3;
INT64 result;
v3 = _InterlockedIncrement(&HalpHvLogicalId);
result = ((__int64(__fastcall *)(INT64, __int64))qword_140C4A2A0)(a1, v3);
if( (int)result >= 0 )
*a2 = v3;
return result;
}