blob: 518e9f9c7e70c516f29f364788f3ca2fff470fc1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#include <xen/device_tree.h>
#include <xen/init.h>
#include <xen/smp.h>
#include <asm/platform.h>
int __init arch_smp_init(void)
{
return platform_smp_init();
}
int __init arch_cpu_init(int cpu, struct dt_device_node *dn)
{
/* Not needed on ARM32, as there is no relevant information in
* the CPU device tree node for ARMv7 CPUs.
*/
return 0;
}
int arch_cpu_up(int cpu)
{
return platform_cpu_up(cpu);
}
void arch_cpu_up_finish(void)
{
}
/*
* Local variables:
* mode: C
* c-file-style: "BSD"
* c-basic-offset: 4
* indent-tabs-mode: nil
* End:
*/
|
