hotplug.c File Reference

#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)

Function Documentation

void __ref vexpress_cpu_die

(

unsigned int

cpu

)

Definition at line 90 of file hotplug.c.