#include "kdp.h"
Go to the source code of this file.
Definition at line 25 of file alpha/kdreboot.c.
00031 : 00032 00033 Reboot the system via the Hal. 00034 00035 --*/ 00036 00037 { 00038 00039 HalReturnToFirmware(HalRebootRoutine); 00040 } }