00001 /*++ 00002 00003 Copyright (c) 1990 Microsoft Corporation 00004 00005 Module Name: 00006 00007 kdreboot.c 00008 00009 Abstract: 00010 00011 This module implements the functions to support rebooting from 00012 the debugger. 00013 00014 Author: 00015 00016 Joe Notarangelo 11-Mar-1993 00017 00018 Revision History: 00019 00020 --*/ 00021 00022 #include "kdp.h" 00023 00024 VOID 00025 KdpReboot ( 00026 VOID 00027 ) 00028 00029 /*++ 00030 00031 Routine Description: 00032 00033 Reboot the system via the Hal. 00034 00035 --*/ 00036 00037 { 00038 00039 HalReturnToFirmware(HalRebootRoutine); 00040 }