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