2 * Copyright (c) 2012 Olivier Houchard. All rights reserved.
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
7 * 1. Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution.
13 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
14 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
15 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
16 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
17 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
18 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
19 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
20 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
21 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
22 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
25 #include <sys/cdefs.h>
26 __FBSDID("$FreeBSD$");
27 #include <sys/param.h>
28 #include <sys/systm.h>
31 #include <sys/mutex.h>
34 #include <machine/smp.h>
35 #include <machine/fdt.h>
36 #include <machine/intr.h>
38 #include <arm/ti/ti_smc.h>
39 #include <arm/ti/omap4/omap4_smc.h>
42 platform_mp_init_secondary(void)
48 platform_mp_setmaxid(void)
55 platform_mp_probe(void)
63 platform_mp_start_ap(void)
67 if (bus_space_map(fdtbus_bs_tag, 0x48240000, 0x1000, 0, &scu_addr) != 0)
68 panic("Couldn't map the SCU\n");
70 *(volatile unsigned int *)scu_addr |= 1;
71 //*(volatile unsigned int *)(scu_addr + 0x30) |= 1;
72 cpu_idcache_wbinv_all();
73 cpu_l2cache_wbinv_all();
74 ti_smc0(0x200, 0xfffffdff, MODIFY_AUX_CORE_0);
75 ti_smc0(pmap_kextract((vm_offset_t)mpentry), 0, WRITE_AUX_CORE_1);
77 bus_space_unmap(fdtbus_bs_tag, scu_addr, 0x1000);
81 platform_ipi_send(cpuset_t cpus, u_int ipi)
83 pic_ipi_send(cpus, ipi);