Linux Kernel
3.7.1
|
#include <linux/irqflags.h>
#include <linux/kernel.h>
#include <asm/cacheflush.h>
#include <asm/mipsregs.h>
#include <asm/processor.h>
Go to the source code of this file.
Functions | |
void | wrppmc_machine_restart (char *command) |
void | wrppmc_machine_halt (void) |