PnpTraceIommuDeviceProperties

void PnpTraceIommuDeviceProperties(){
  int v0; 
  __int64 v1; 
  int v2; 
  _EVENT_DATA_DESCRIPTOR v3; 
  int *v4; 
  __int64 v5; 
  __int64 v6; 
  int v7[2]; 
  int *v8; 
  __int64 v9; 

  if( *(&stru_140C00F40 + 1952) > 5u )
  {
    if( tlgKeywordOn((__int64)&stru_140C00F40 + 7808, 0x400000000000i64) )
    {
      v7[1] = 0;
      v4 = v7;
      v6 = *(_QWORD *)(v1 + 48);
      v7[0] = *(unsigned __int16 *)(v1 + 40);
      v8 = &v2;
      v2 = v0;
      v5 = 2i64;
      v9 = 4i64;
      tlgWriteTransfer_EtwWriteTransfer(
        (__int64)&stru_140C00F40 + 7808,
        (unsigned __int8 *)&byte_140024367,
        0i64,
        0i64,
        5u,
        &v3);
    }
  }
}

Referenced by: