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 45 platform_mp_init_secondary(void) 46 { 47 intr_pic_init_secondary(); 48 } 49 50 void 51 platform_mp_setmaxid(void) 52 { 53 54 mp_maxid = 1; 55 mp_ncpus = 2; 56 } 57 58 int 59 platform_mp_probe(void) 60 { 61 62 return (1); 63 } 64 65 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 84 platform_ipi_send(cpuset_t cpus, u_int ipi) 85 { 86 pic_ipi_send(cpus, ipi); 87 } 88