HalMcFinishMicrocode

VOID __stdcall HalMcFinishMicrocode(INT64 a1){
  char v1; 
  char *v2; 

  v1 = KeDynamicPartitioningSupported;
  v2 = 0i64;
  if( HalpIsMicrosoftCompatibleHvLoaded() && qword_140C4A2F8 && !v1 )
    qword_140C4A2F8(0i64, 0i64);
  if( *(&CmpDummyThreadEvent + 6849) && *(&CmpDummyThreadEvent + 857) )
  {
    if( *(&CmpDummyThreadEvent + 6848) )
    {
      if( !v1 )
        v2 = (char *)&CmpDummyThreadEvent + 6784;
    }
    HalpMcExportAndChargeNeededData((INT64)v2);
    HalpMcSetUpdateInfoInvalid();
  }
}

Referenced by: