HalpMcaResumeProcessorConfig

VOID __stdcall HalpMcaResumeProcessorConfig(INT64 a1){
  int v1; 
  __int64 i; 
  INT64 v3; 
  INT64 v4[122]; 

  v1 = a1;
  memset(v4, 0i64, 0x3CCu);
  if( (dword_140C4A10C & 0xC) != 0 )
  {
    for( i = *(_QWORD *)&KeGetPcr()->HalReserved[6]; i; i = *(_QWORD *)(i + 176) )
    {
      v3 = *(_QWORD *)(i + 164);
      if( v1 )
      {
        if( v1 == 1 )
        {
          HalpMcaSetProcessorConfig(qword_140C50540, *(_QWORD *)(i + 164));
          if( HalpIsCmciImplemented() )
            HalpCmciInitProcessor(qword_140C50530, v3);
        }
      }
      else
      {
        memset(v4, 0i64, 0x3CCu);
        PshedGetErrorSourceInfo(0i64, v4);
        HalpMcaSetProcessorConfig((INT64)v4, v3);
      }
    }
  }
}

Referenced by: