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