1 /*-
2 * Copyright (c) 2012 Olivier Houchard. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
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.
12 *
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.
23 */
24
25 #include <sys/cdefs.h>
26 __FBSDID("$FreeBSD$");
27 #include <sys/param.h>
28 #include <sys/systm.h>
29 #include <sys/bus.h>
30 #include <sys/lock.h>
31 #include <sys/mutex.h>
32 #include <sys/smp.h>
33
34 #include <vm/vm.h>
35 #include <vm/pmap.h>
36
37 #include <machine/smp.h>
38 #include <machine/fdt.h>
39 #include <machine/intr.h>
40
41 #include <arm/ti/ti_smc.h>
42 #include <arm/ti/omap4/omap4_smc.h>
43
44 void
platform_mp_init_secondary(void)45 platform_mp_init_secondary(void)
46 {
47 intr_pic_init_secondary();
48 }
49
50 void
platform_mp_setmaxid(void)51 platform_mp_setmaxid(void)
52 {
53
54 mp_maxid = 1;
55 mp_ncpus = 2;
56 }
57
58 int
platform_mp_probe(void)59 platform_mp_probe(void)
60 {
61
62 return (1);
63 }
64
65 void
platform_mp_start_ap(void)66 platform_mp_start_ap(void)
67 {
68 bus_addr_t scu_addr;
69
70 if (bus_space_map(fdtbus_bs_tag, 0x48240000, 0x1000, 0, &scu_addr) != 0)
71 panic("Couldn't map the SCU\n");
72 /* Enable the SCU */
73 *(volatile unsigned int *)scu_addr |= 1;
74 //*(volatile unsigned int *)(scu_addr + 0x30) |= 1;
75 cpu_idcache_wbinv_all();
76 cpu_l2cache_wbinv_all();
77 ti_smc0(0x200, 0xfffffdff, MODIFY_AUX_CORE_0);
78 ti_smc0(pmap_kextract((vm_offset_t)mpentry), 0, WRITE_AUX_CORE_1);
79 armv7_sev();
80 bus_space_unmap(fdtbus_bs_tag, scu_addr, 0x1000);
81 }
82
83 void
platform_ipi_send(cpuset_t cpus,u_int ipi)84 platform_ipi_send(cpuset_t cpus, u_int ipi)
85 {
86 pic_ipi_send(cpus, ipi);
87 }
88