HalpDpInitSystem

VOID __fastcall HalpDpInitSystem(INT64 HalPhase, UINT64 ProcessorNumber, _LOADER_PARAMETER_BLOCK *LoaderBlock){
  int v3; 
  _LOADER_PARAMETER_BLOCK *v4; 

  if( HalpInterruptModel() == 1 )
  {
    if( v3 == 7 )
    {
      HalpDpInitDiscard(v4);
    }
    else if( v3 == 17 )
    {
      off_140C00678[0] = (__int64(__fastcall *)())HalpDpReplaceBegin;
      off_140C00680[0] = (__int64(__fastcall *)())HalpDpReplaceTarget;
      off_140C00688[0] = (__int64(__fastcall *)())HalpDpReplaceControl;
      off_140C00690[0] = (__int64(__fastcall *)())HalpDpReplaceEnd;
      off_140C006D8[0] = (__int64(__fastcall *)())HalpInterruptMaskLevelTriggeredLines;
      off_140C006E8[0] = (__int64(__fastcall *)())HalpDpGetInterruptReplayState;
      off_140C006F0[0] = (__int64(__fastcall *)())HalpDpReplayInterrupts;
      off_140C006E0[0] = (__int64(__fastcall *)())HalpInterruptUnmaskLevelTriggeredLines;
    }
  }
}

Referenced by: