hotplug.c File Reference

#include <linux/errno.h>
#include <asm/cacheflush.h>
#include <asm/cp15.h>
#include <mach/common.h>

Go to the source code of this file.

Functions
void	imx_cpu_die (unsigned int cpu)

Function Documentation

void imx_cpu_die

(

unsigned int

cpu

)

Definition at line 45 of file hotplug.c.