ExRebootSystemForRecovery

VOID __stdcall ExRebootSystemForRecovery(UINT8 a1){
  unsigned __int64 v1; 
  INT64 v2[14]; 

  v1 = a1;
  if( PnpKsrCallbackObject )
  {
    ExNotifyWithProcessing((__int64)PnpKsrCallbackObject, (VOID *)0xA, 0i64, 0i64);
    ExNotifyWithProcessing((__int64)PnpKsrCallbackObject, (VOID *)0xF, 0i64, 0i64);
    ExNotifyWithProcessing((__int64)PnpKsrCallbackObject, (VOID *)0x14, 0i64, 0i64);
    if( (_BYTE)v1 )
    {
      KeGetCurrentIrql();
      __writecr8(v1);
    }
    memset(v2, 0i64, 0x68u);
    VslpEnterIumSecureMode(2u, 262, 0i64, (INT64)v2);
    KiBugcheckUnloadDebugSymbols();
    HalReturnToFirmware(HalRebootRoutine);
  }
}

Referenced by:

KiAttemptBugcheckRecovery
NtShutdownSystem