HalpInterruptResetAllProcessors

VOID __stdcall __noreturn HalpInterruptResetAllProcessors(){
  _KPRCB *v0; 
  _ETHREAD *v1; 
  INT64 v2; 
  INT64 v3; 

  if( Controller && (_DWORD)HalpInterruptProcessorsStarted != 1 && !dword_140C50698 )
  {
    HalpNmiReboot(&v1->Tcb, v0, v2, v3);
    qword_140C49EE8 = (__int64(__fastcall *)(_QWORD, _QWORD, _QWORD))HalpInterruptResetThisProcessor;
    HalRequestIpiSpecifyVector(IpiAll, 0i64, 0xD7ui64);
    __writecr8(0i64);
    _enable();
    while( 1 )
      ;
  }
  HalpPowerWriteResetCommand(0i64, 0i64);
  JUMPOUT(0x1404D02DFi64);
}

Referenced by: