PerfInfoLogIpiSend

VOID __stdcall PerfInfoLogIpiSend(INT64 a1, INT64 a2, INT64 a3, INT64 a4, UINT16 *a5){
  int v6; 
  unsigned int v7; 
  __int64 v8; 
  __int64 v9; 
  __int64 v10; 
  unsigned int v12; 
  INT64 v13; 
  int v14; 
  int v15; 
  int v16; 
  INT64 v17; 
  int v18; 
  int v19; 
  INT64 *v20; 
  int v21; 
  int v22; 
  UINT16 *v23; 
  int v24; 
  int v25; 

  v22 = 0;
  v14 = a2;
  v6 = *a5;
  v23 = a5 + 4;
  v25 = 0;
  v24 = 8 * v6;
  v13 = a3;
  v15 = a4;
  v16 = v6;
  v7 = *(_DWORD *)(EtwpHostSiloState + 4224);
  v20 = &v13;
  v21 = 20;
  while( _BitScanForward(&v12, v7) )
  {
    v7 &= v7 - 1;
    v8 = v12;
    v9 = 32i64 * v12 + EtwpHostSiloState + 4260;
    if( v9 )
    {
      if( (*(_DWORD *)(v9 + 8) & 0x400000) != 0 )
      {
        v10 = *(unsigned __int8 *)(EtwpHostSiloState + 2 * v8 + 4209);
        v19 = 0;
        v18 = 8;
        v17 = a1 + 8 * (v10 - 1);
        EtwpLogKernelEvent(
          (__int64)&v17,
          (_ETW_SILODRIVERSTATE *)EtwpHostSiloState,
          *(unsigned __int8 *)(EtwpHostSiloState + 2 * v8 + 4208),
          3u,
          0xF70u,
          0x401A02u);
      }
    }
  }
}

Referenced by: