HalpInterruptResetAllProcessors

VOID __stdcall __noreturn HalpInterruptResetAllProcessors(){
  _KPRCB *v0; 
  _KTHREAD *v1; 
  INT64 v2; 
  INT64 v3; 
  if( HalpInterruptController && *(_DWORD *)HalpInterruptProcessorsStarted != 1 && !dword_140C50698 )
  {
    HalpNmiReboot((_KTHREAD *)v1, v0, v2, v3);
    HalpRebootNow = (__int64(__fastcall *)(_QWORD, _QWORD, _QWORD))HalpInterruptResetThisProcessor;
    HalRequestIpiSpecifyVector(2, 0i64, 0xD7u);
    __writecr8(0i64);
    _enable();
    while( 1 )
      ;
  }
  HalpPowerWriteResetCommand(0i64, 0i64);
  JUMPOUT(0x1404D02DFi64);
}

Referenced by: