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.