HalpDpInitSystem

INT64 __fastcall HalpDpInitSystem(
        _HAL_INIT_PHASE HalPhase,
        UINT64 ProcessorNumber,
        _LOADER_PARAMETER_BLOCK *LoaderBlock){
  int v3; 
  _LOADER_PARAMETER_BLOCK *v4; 
  if( (unsigned int)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] = HalpInterruptMaskLevelTriggeredLines;
      off_140C006E8[0] = (__int64(__fastcall *)())HalpDpGetInterruptReplayState;
      off_140C006F0[0] = (__int64(__fastcall *)())HalpDpReplayInterrupts;
      off_140C006E0[0] = HalpInterruptUnmaskLevelTriggeredLines;
    }
  }
  return 0i64;
}

Referenced by: