Windows2000/private/ntos/kd64/alpha/kdreboot.c

41 lines
412 B
C
Raw Permalink Normal View History

2001-01-01 00:00:00 +01:00
/*++
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);
}