INT64 __fastcall HalpHvUnmapDeviceMsiRange(INT64 a1, INT64 a2, INT64 *a3, CHAR a4){
__int64 v4;
int v5;
INT64 v7;
int v8[4];
v7 = 0i64;
HalpHvBuildDeviceId(a1, a3, a4, (INT64)&v7);
v5 = *(_DWORD *)(v4 + 48);
v8[1] = 0;
v8[2] = v5;
v8[3] = *(unsigned __int16 *)(v4 + 52);
v8[0] = 1;
return((__int64(__fastcall *)(INT64, int *))qword_140C4A170)(v7, v8);
}