|
Linux Kernel
3.7.1
|
#include <linux/kernel.h>#include <linux/sched.h>#include <linux/timer.h>#include <linux/smp.h>#include <linux/mmzone.h>#include <linux/nodemask.h>#include <linux/pm.h>#include <asm/io.h>#include <asm/irq.h>#include <asm/reboot.h>#include <asm/sgialib.h>#include <asm/sn/addrs.h>#include <asm/sn/arch.h>#include <asm/sn/gda.h>#include <asm/sn/sn0/hub.h>Go to the source code of this file.
Macros | |
| #define | noreturn while(1); /* Silence gcc. */ |
Functions | |
| void | machine_restart (char *command) __attribute__((noreturn)) |
| void | machine_halt (void) |
| void | ip27_reboot_setup (void) |
| #define noreturn while(1); /* Silence gcc. */ |
Definition at line 75 of file ip27-reset.c.
Definition at line 29 of file ip27-reset.c.
1.8.2