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