__int64 __fastcall IommuHvGetConfiguration(UINT64 a1, _DWORD *a2, _DWORD *a3, VOID ***a4){
VOID **SystemContext;
if( *(&CmpDummyThreadEvent + 4121) )
{
*a2 = *(&CmpDummyThreadEvent + 1031);
*a3 = *(&CmpDummyThreadEvent + 1032);
SystemContext = IommupGetSystemContext(a1);
*a4 = SystemContext;
return SystemContext == 0i64 ? 0xC000009A : 0;
}
else
{
*a2 = 0;
*a3 = 0;
*a4 = 0i64;
return 3221225659i64;
}
}