Linux Kernel
3.7.1
|
#include <linux/kernel.h>
#include <linux/errno.h>
#include <linux/smp.h>
#include <asm/cacheflush.h>
#include <asm/smp_plat.h>
#include <asm/cp15.h>
Go to the source code of this file.
Functions | |
void __ref | vexpress_cpu_die (unsigned int cpu) |