NTSTATUS __fastcall IommuDomainConfigure(__int64 a1, void *a2, UINT64 a3){
if( *(_BYTE *)(a1 + 44) )
return -1073741585;
if( !byte_140C49B2C )
return -1073741822;
if( byte_140C49B2D )
return xKdEnumerateDebuggingDevices((_EPROCESS *)a1, a2, a3);
return -1073741637;
}