HalMcFinishMicrocode

VOID __fastcall HalMcFinishMicrocode(INT64 a1){
  char v1; 
  const WCHAR *v2; 
  WCHAR v3; 
  PVOID *v4; 
  v1 = KeDynamicPartitioningSupported;
  v4 = 0i64;
  if( HalpIsMicrosoftCompatibleHvLoaded() && qword_140C4A2F8 && !v1 )
    qword_140C4A2F8(0i64, 0i64);
  if( HalpMcUpdateRecordingSupported && HalpMcUpdateExportDataFunc )
  {
    if( HalpMcUpdateInfoValid )
    {
      if( !v1 )
        v4 = &HalpMcUpdateInfoHead;
    }
    HalpMcExportAndChargeNeededData((INT64)v4, v2, v3);
    HalpMcSetUpdateInfoInvalid();
  }
}

Referenced by: