Windows2000/private/ntos/kd64/alpha/kdreboot.c
2020-09-30 17:12:32 +02:00

41 lines
412 B
C

/*++
Copyright (c) 1990 Microsoft Corporation
Module Name:
kdreboot.c
Abstract:
This module implements the functions to support rebooting from
the debugger.
Author:
Joe Notarangelo 11-Mar-1993
Revision History:
--*/
#include "kdp.h"
VOID
KdpReboot (
VOID
)
/*++
Routine Description:
Reboot the system via the Hal.
--*/
{
HalReturnToFirmware(HalRebootRoutine);
}