INT64 __fastcall HalpHvUnmapDeviceInterrupt(CHAR a1, INT64 a2, INT64 a3){
unsigned __int64 v4;
int v5[2];
__int64 v6;
v5[1] = 0;
v5[0] = 2;
v4 = 0x8000000000000000ui64;
LOBYTE(v4) = a1;
v6 = *(_QWORD *)(a3 + 40);
return((__int64(__fastcall *)(unsigned __int64, int *))qword_140C4A170)(v4, v5);
}