Linux Kernel
3.7.1
|
#include <linux/init.h>
#include <linux/kernel.h>
#include <linux/sched.h>
#include <linux/delay.h>
#include <asm/smp.h>
#include <asm/dma.h>
#include <asm/time.h>
Go to the source code of this file.
Functions | |
void __init | platform_init_cpus (void) |
void __init | platform_prepare_cpus (unsigned int max_cpus) |
int __init | setup_profiling_timer (unsigned int multiplier) |
void __cpuinit | platform_secondary_init (unsigned int cpu) |
int __cpuinit | platform_boot_secondary (unsigned int cpu, struct task_struct *idle) |
void __init | platform_request_ipi (int irq, void *handler) |
void | platform_send_ipi (cpumask_t callmap, int irq) |
void | platform_send_ipi_cpu (unsigned int cpu, int irq) |
void | platform_clear_ipi (unsigned int cpu, int irq) |
void __cpuinit | bfin_local_timer_setup (void) |
int __cpuinit platform_boot_secondary | ( | unsigned int | cpu, |
struct task_struct * | idle | ||
) |