NTSTATUS __stdcall IommupHvUnmapDevice(PVOID BugCheckParameter2){
unsigned int v1;
NTSTATUS result;
v1 = (unsigned int)BugCheckParameter2;
result = ((__int64(*)(void))qword_140C4A248)();
if( result == 3473497 )
KeBugCheckEx(0x159u, (PVOID)0x3000, (PVOID)v1, 0i64, 0i64);
return result;
}