test: 4/alpha/kdreboot.c File Reference

Main Page | Class Hierarchy | Class List | File List | Class Members | File Members

# kdreboot.c File Reference

`#include "kdp.h"`

Go to the source code of this file.

## Functions

VOID | KdpReboot (VOID)

## Function Documentation

VOID KdpReboot | ( | VOID |  | ) |

Definition at line 25 of file 4/alpha/kdreboot.c.

References HalRebootRoutine, and HalReturnToFirmware().

    00031                    :
    00032
    00033     Reboot the system via the Hal.
    00034
    00035 --*/
    00036
    00037 {
    00038
    00039     HalReturnToFirmware(HalRebootRoutine);
    00040 }
    }