platsmp.c File Reference

#include <linux/init.h>
#include <linux/errno.h>
#include <linux/delay.h>
#include <linux/device.h>
#include <linux/jiffies.h>
#include <linux/smp.h>
#include <asm/cacheflush.h>
#include <asm/smp_plat.h>
#include <asm/hardware/gic.h>

Go to the source code of this file.

Functions
void __cpuinit	versatile_secondary_init (unsigned int cpu)
int __cpuinit	versatile_boot_secondary (unsigned int cpu, struct task_struct *idle)

Function Documentation

int __cpuinit versatile_boot_secondary	(	unsigned int	cpu,
		struct task_struct *	idle
	)

Definition at line 59 of file platsmp.c.

void __cpuinit versatile_secondary_init

(

unsigned int

cpu

)

Definition at line 37 of file platsmp.c.