]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - sys/arm64/arm64/mp_machdep.c
MFH @ r323558.
[FreeBSD/FreeBSD.git] / sys / arm64 / arm64 / mp_machdep.c
1 /*-
2  * Copyright (c) 2015-2016 The FreeBSD Foundation
3  * All rights reserved.
4  *
5  * This software was developed by Andrew Turner under
6  * sponsorship from the FreeBSD Foundation.
7  *
8  * Redistribution and use in source and binary forms, with or without
9  * modification, are permitted provided that the following conditions
10  * are met:
11  * 1. Redistributions of source code must retain the above copyright
12  *    notice, this list of conditions and the following disclaimer.
13  * 2. Redistributions in binary form must reproduce the above copyright
14  *    notice, this list of conditions and the following disclaimer in the
15  *    documentation and/or other materials provided with the distribution.
16  *
17  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
18  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
21  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
27  * SUCH DAMAGE.
28  *
29  */
30
31 #include "opt_acpi.h"
32 #include "opt_kstack_pages.h"
33 #include "opt_platform.h"
34
35 #include <sys/cdefs.h>
36 __FBSDID("$FreeBSD$");
37
38 #include <sys/param.h>
39 #include <sys/systm.h>
40 #include <sys/bus.h>
41 #include <sys/cpu.h>
42 #include <sys/kernel.h>
43 #include <sys/malloc.h>
44 #include <sys/module.h>
45 #include <sys/mutex.h>
46 #include <sys/proc.h>
47 #include <sys/sched.h>
48 #include <sys/smp.h>
49
50 #include <vm/vm.h>
51 #include <vm/pmap.h>
52 #include <vm/vm_extern.h>
53 #include <vm/vm_kern.h>
54
55 #include <machine/machdep.h>
56 #include <machine/intr.h>
57 #include <machine/smp.h>
58 #ifdef VFP
59 #include <machine/vfp.h>
60 #endif
61
62 #ifdef DEV_ACPI
63 #include <contrib/dev/acpica/include/acpi.h>
64 #include <dev/acpica/acpivar.h>
65 #endif
66
67 #ifdef FDT
68 #include <dev/ofw/openfirm.h>
69 #include <dev/ofw/ofw_bus.h>
70 #include <dev/ofw/ofw_bus_subr.h>
71 #include <dev/ofw/ofw_cpu.h>
72 #endif
73
74 #include <dev/psci/psci.h>
75
76 #include "pic_if.h"
77
78 #define MP_QUIRK_CPULIST        0x01    /* The list of cpus may be wrong, */
79                                         /* don't panic if one fails to start */
80 static uint32_t mp_quirks;
81
82 #ifdef FDT
83 static struct {
84         const char *compat;
85         uint32_t quirks;
86 } fdt_quirks[] = {
87         { "arm,foundation-aarch64",     MP_QUIRK_CPULIST },
88         { "arm,fvp-base",               MP_QUIRK_CPULIST },
89         /* This is incorrect in some DTS files */
90         { "arm,vfp-base",               MP_QUIRK_CPULIST },
91         { NULL, 0 },
92 };
93 #endif
94
95 typedef void intr_ipi_send_t(void *, cpuset_t, u_int);
96 typedef void intr_ipi_handler_t(void *);
97
98 #define INTR_IPI_NAMELEN        (MAXCOMLEN + 1)
99 struct intr_ipi {
100         intr_ipi_handler_t *    ii_handler;
101         void *                  ii_handler_arg;
102         intr_ipi_send_t *       ii_send;
103         void *                  ii_send_arg;
104         char                    ii_name[INTR_IPI_NAMELEN];
105         u_long *                ii_count;
106 };
107
108 static struct intr_ipi ipi_sources[INTR_IPI_COUNT];
109
110 static struct intr_ipi *intr_ipi_lookup(u_int);
111 static void intr_pic_ipi_setup(u_int, const char *, intr_ipi_handler_t *,
112     void *);
113
114 extern struct pcpu __pcpu[];
115
116 static device_identify_t arm64_cpu_identify;
117 static device_probe_t arm64_cpu_probe;
118 static device_attach_t arm64_cpu_attach;
119
120 static void ipi_ast(void *);
121 static void ipi_hardclock(void *);
122 static void ipi_preempt(void *);
123 static void ipi_rendezvous(void *);
124 static void ipi_stop(void *);
125
126 struct mtx ap_boot_mtx;
127 struct pcb stoppcbs[MAXCPU];
128
129 static device_t cpu_list[MAXCPU];
130
131 /*
132  * Not all systems boot from the first CPU in the device tree. To work around
133  * this we need to find which CPU we have booted from so when we later
134  * enable the secondary CPUs we skip this one.
135  */
136 static int cpu0 = -1;
137
138 void mpentry(unsigned long cpuid);
139 void init_secondary(uint64_t);
140
141 uint8_t secondary_stacks[MAXCPU - 1][PAGE_SIZE * KSTACK_PAGES] __aligned(16);
142
143 /* Set to 1 once we're ready to let the APs out of the pen. */
144 volatile int aps_ready = 0;
145
146 /* Temporary variables for init_secondary()  */
147 void *dpcpu[MAXCPU - 1];
148
149 static device_method_t arm64_cpu_methods[] = {
150         /* Device interface */
151         DEVMETHOD(device_identify,      arm64_cpu_identify),
152         DEVMETHOD(device_probe,         arm64_cpu_probe),
153         DEVMETHOD(device_attach,        arm64_cpu_attach),
154
155         DEVMETHOD_END
156 };
157
158 static devclass_t arm64_cpu_devclass;
159 static driver_t arm64_cpu_driver = {
160         "arm64_cpu",
161         arm64_cpu_methods,
162         0
163 };
164
165 DRIVER_MODULE(arm64_cpu, cpu, arm64_cpu_driver, arm64_cpu_devclass, 0, 0);
166
167 static void
168 arm64_cpu_identify(driver_t *driver, device_t parent)
169 {
170
171         if (device_find_child(parent, "arm64_cpu", -1) != NULL)
172                 return;
173         if (BUS_ADD_CHILD(parent, 0, "arm64_cpu", -1) == NULL)
174                 device_printf(parent, "add child failed\n");
175 }
176
177 static int
178 arm64_cpu_probe(device_t dev)
179 {
180         u_int cpuid;
181
182         cpuid = device_get_unit(dev);
183         if (cpuid >= MAXCPU || cpuid > mp_maxid)
184                 return (EINVAL);
185
186         device_quiet(dev);
187         return (0);
188 }
189
190 static int
191 arm64_cpu_attach(device_t dev)
192 {
193         const uint32_t *reg;
194         size_t reg_size;
195         u_int cpuid;
196         int i;
197
198         cpuid = device_get_unit(dev);
199
200         if (cpuid >= MAXCPU || cpuid > mp_maxid)
201                 return (EINVAL);
202         KASSERT(cpu_list[cpuid] == NULL, ("Already have cpu %u", cpuid));
203
204         reg = cpu_get_cpuid(dev, &reg_size);
205         if (reg == NULL)
206                 return (EINVAL);
207
208         if (bootverbose) {
209                 device_printf(dev, "register <");
210                 for (i = 0; i < reg_size; i++)
211                         printf("%s%x", (i == 0) ? "" : " ", reg[i]);
212                 printf(">\n");
213         }
214
215         /* Set the device to start it later */
216         cpu_list[cpuid] = dev;
217
218         return (0);
219 }
220
221 static void
222 release_aps(void *dummy __unused)
223 {
224         int i;
225
226         /* Only release CPUs if they exist */
227         if (mp_ncpus == 1)
228                 return;
229
230         intr_pic_ipi_setup(IPI_AST, "ast", ipi_ast, NULL);
231         intr_pic_ipi_setup(IPI_PREEMPT, "preempt", ipi_preempt, NULL);
232         intr_pic_ipi_setup(IPI_RENDEZVOUS, "rendezvous", ipi_rendezvous, NULL);
233         intr_pic_ipi_setup(IPI_STOP, "stop", ipi_stop, NULL);
234         intr_pic_ipi_setup(IPI_STOP_HARD, "stop hard", ipi_stop, NULL);
235         intr_pic_ipi_setup(IPI_HARDCLOCK, "hardclock", ipi_hardclock, NULL);
236
237         atomic_store_rel_int(&aps_ready, 1);
238         /* Wake up the other CPUs */
239         __asm __volatile("sev");
240
241         printf("Release APs\n");
242
243         for (i = 0; i < 2000; i++) {
244                 if (smp_started)
245                         return;
246                 DELAY(1000);
247         }
248
249         printf("APs not started\n");
250 }
251 SYSINIT(start_aps, SI_SUB_SMP, SI_ORDER_FIRST, release_aps, NULL);
252
253 void
254 init_secondary(uint64_t cpu)
255 {
256         struct pcpu *pcpup;
257
258         pcpup = &__pcpu[cpu];
259         /*
260          * Set the pcpu pointer with a backup in tpidr_el1 to be
261          * loaded when entering the kernel from userland.
262          */
263         __asm __volatile(
264             "mov x18, %0 \n"
265             "msr tpidr_el1, %0" :: "r"(pcpup));
266
267         /* Spin until the BSP releases the APs */
268         while (!aps_ready)
269                 __asm __volatile("wfe");
270
271         /* Initialize curthread */
272         KASSERT(PCPU_GET(idlethread) != NULL, ("no idle thread"));
273         pcpup->pc_curthread = pcpup->pc_idlethread;
274         pcpup->pc_curpcb = pcpup->pc_idlethread->td_pcb;
275
276         /*
277          * Identify current CPU. This is necessary to setup
278          * affinity registers and to provide support for
279          * runtime chip identification.
280          */
281         identify_cpu();
282
283         intr_pic_init_secondary();
284
285         /* Start per-CPU event timers. */
286         cpu_initclocks_ap();
287
288 #ifdef VFP
289         vfp_init();
290 #endif
291
292         dbg_init();
293         pan_enable();
294
295         /* Enable interrupts */
296         intr_enable();
297
298         mtx_lock_spin(&ap_boot_mtx);
299
300         atomic_add_rel_32(&smp_cpus, 1);
301
302         if (smp_cpus == mp_ncpus) {
303                 /* enable IPI's, tlb shootdown, freezes etc */
304                 atomic_store_rel_int(&smp_started, 1);
305         }
306
307         mtx_unlock_spin(&ap_boot_mtx);
308
309         /* Enter the scheduler */
310         sched_throw(NULL);
311
312         panic("scheduler returned us to init_secondary");
313         /* NOTREACHED */
314 }
315
316 /*
317  *  Send IPI thru interrupt controller.
318  */
319 static void
320 pic_ipi_send(void *arg, cpuset_t cpus, u_int ipi)
321 {
322
323         KASSERT(intr_irq_root_dev != NULL, ("%s: no root attached", __func__));
324         PIC_IPI_SEND(intr_irq_root_dev, arg, cpus, ipi);
325 }
326
327 /*
328  *  Setup IPI handler on interrupt controller.
329  *
330  *  Not SMP coherent.
331  */
332 static void
333 intr_pic_ipi_setup(u_int ipi, const char *name, intr_ipi_handler_t *hand,
334     void *arg)
335 {
336         struct intr_irqsrc *isrc;
337         struct intr_ipi *ii;
338         int error;
339
340         KASSERT(intr_irq_root_dev != NULL, ("%s: no root attached", __func__));
341         KASSERT(hand != NULL, ("%s: ipi %u no handler", __func__, ipi));
342
343         error = PIC_IPI_SETUP(intr_irq_root_dev, ipi, &isrc);
344         if (error != 0)
345                 return;
346
347         isrc->isrc_handlers++;
348
349         ii = intr_ipi_lookup(ipi);
350         KASSERT(ii->ii_count == NULL, ("%s: ipi %u reused", __func__, ipi));
351
352         ii->ii_handler = hand;
353         ii->ii_handler_arg = arg;
354         ii->ii_send = pic_ipi_send;
355         ii->ii_send_arg = isrc;
356         strlcpy(ii->ii_name, name, INTR_IPI_NAMELEN);
357         ii->ii_count = intr_ipi_setup_counters(name);
358 }
359
360 static void
361 intr_ipi_send(cpuset_t cpus, u_int ipi)
362 {
363         struct intr_ipi *ii;
364
365         ii = intr_ipi_lookup(ipi);
366         if (ii->ii_count == NULL)
367                 panic("%s: not setup IPI %u", __func__, ipi);
368
369         ii->ii_send(ii->ii_send_arg, cpus, ipi);
370 }
371
372 static void
373 ipi_ast(void *dummy __unused)
374 {
375
376         CTR0(KTR_SMP, "IPI_AST");
377 }
378
379 static void
380 ipi_hardclock(void *dummy __unused)
381 {
382
383         CTR1(KTR_SMP, "%s: IPI_HARDCLOCK", __func__);
384         hardclockintr();
385 }
386
387 static void
388 ipi_preempt(void *dummy __unused)
389 {
390         CTR1(KTR_SMP, "%s: IPI_PREEMPT", __func__);
391         sched_preempt(curthread);
392 }
393
394 static void
395 ipi_rendezvous(void *dummy __unused)
396 {
397
398         CTR0(KTR_SMP, "IPI_RENDEZVOUS");
399         smp_rendezvous_action();
400 }
401
402 static void
403 ipi_stop(void *dummy __unused)
404 {
405         u_int cpu;
406
407         CTR0(KTR_SMP, "IPI_STOP");
408
409         cpu = PCPU_GET(cpuid);
410         savectx(&stoppcbs[cpu]);
411
412         /* Indicate we are stopped */
413         CPU_SET_ATOMIC(cpu, &stopped_cpus);
414
415         /* Wait for restart */
416         while (!CPU_ISSET(cpu, &started_cpus))
417                 cpu_spinwait();
418
419         CPU_CLR_ATOMIC(cpu, &started_cpus);
420         CPU_CLR_ATOMIC(cpu, &stopped_cpus);
421         CTR0(KTR_SMP, "IPI_STOP (restart)");
422 }
423
424 struct cpu_group *
425 cpu_topo(void)
426 {
427
428         return (smp_topo_none());
429 }
430
431 /* Determine if we running MP machine */
432 int
433 cpu_mp_probe(void)
434 {
435
436         /* ARM64TODO: Read the u bit of mpidr_el1 to determine this */
437         return (1);
438 }
439
440 static bool
441 start_cpu(u_int id, uint64_t target_cpu)
442 {
443         struct pcpu *pcpup;
444         vm_paddr_t pa;
445         u_int cpuid;
446         int err;
447
448         /* Check we are able to start this cpu */
449         if (id > mp_maxid)
450                 return (false);
451
452         KASSERT(id < MAXCPU, ("Too many CPUs"));
453
454         /* We are already running on cpu 0 */
455         if (id == cpu0)
456                 return (true);
457
458         /*
459          * Rotate the CPU IDs to put the boot CPU as CPU 0. We keep the other
460          * CPUs ordered as the are likely grouped into clusters so it can be
461          * useful to keep that property, e.g. for the GICv3 driver to send
462          * an IPI to all CPUs in the cluster.
463          */
464         cpuid = id;
465         if (cpuid < cpu0)
466                 cpuid += mp_maxid + 1;
467         cpuid -= cpu0;
468
469         pcpup = &__pcpu[cpuid];
470         pcpu_init(pcpup, cpuid, sizeof(struct pcpu));
471
472         dpcpu[cpuid - 1] = (void *)kmem_malloc(kernel_arena, DPCPU_SIZE,
473             M_WAITOK | M_ZERO);
474         dpcpu_init(dpcpu[cpuid - 1], cpuid);
475
476         printf("Starting CPU %u (%lx)\n", cpuid, target_cpu);
477         pa = pmap_extract(kernel_pmap, (vm_offset_t)mpentry);
478
479         err = psci_cpu_on(target_cpu, pa, cpuid);
480         if (err != PSCI_RETVAL_SUCCESS) {
481                 /*
482                  * Panic here if INVARIANTS are enabled and PSCI failed to
483                  * start the requested CPU. If psci_cpu_on returns PSCI_MISSING
484                  * to indicate we are unable to use it to start the given CPU.
485                  */
486                 KASSERT(err == PSCI_MISSING ||
487                     (mp_quirks & MP_QUIRK_CPULIST) == MP_QUIRK_CPULIST,
488                     ("Failed to start CPU %u (%lx)\n", id, target_cpu));
489
490                 pcpu_destroy(pcpup);
491                 kmem_free(kernel_arena, (vm_offset_t)dpcpu[cpuid - 1],
492                     DPCPU_SIZE);
493                 dpcpu[cpuid - 1] = NULL;
494                 mp_ncpus--;
495
496                 /* Notify the user that the CPU failed to start */
497                 printf("Failed to start CPU %u (%lx)\n", id, target_cpu);
498         } else
499                 CPU_SET(cpuid, &all_cpus);
500
501         return (true);
502 }
503
504 #ifdef DEV_ACPI
505 static void
506 madt_handler(ACPI_SUBTABLE_HEADER *entry, void *arg)
507 {
508         ACPI_MADT_GENERIC_INTERRUPT *intr;
509         u_int *cpuid;
510
511         switch(entry->Type) {
512         case ACPI_MADT_TYPE_GENERIC_INTERRUPT:
513                 intr = (ACPI_MADT_GENERIC_INTERRUPT *)entry;
514                 cpuid = arg;
515
516                 start_cpu((*cpuid), intr->ArmMpidr);
517                 (*cpuid)++;
518                 break;
519         default:
520                 break;
521         }
522 }
523
524 static void
525 cpu_init_acpi(void)
526 {
527         ACPI_TABLE_MADT *madt;
528         vm_paddr_t physaddr;
529         u_int cpuid;
530
531         physaddr = acpi_find_table(ACPI_SIG_MADT);
532         if (physaddr == 0)
533                 return;
534
535         madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
536         if (madt == NULL) {
537                 printf("Unable to map the MADT, not starting APs\n");
538                 return;
539         }
540
541         cpuid = 0;
542         acpi_walk_subtables(madt + 1, (char *)madt + madt->Header.Length,
543             madt_handler, &cpuid);
544
545         acpi_unmap_table(madt);
546 }
547 #endif
548
549 #ifdef FDT
550 static boolean_t
551 cpu_init_fdt(u_int id, phandle_t node, u_int addr_size, pcell_t *reg)
552 {
553         uint64_t target_cpu;
554         int domain;
555
556         target_cpu = reg[0];
557         if (addr_size == 2) {
558                 target_cpu <<= 32;
559                 target_cpu |= reg[1];
560         }
561
562         if (!start_cpu(id, target_cpu))
563                 return (FALSE);
564
565         /* Try to read the numa node of this cpu */
566         if (OF_getencprop(node, "numa-node-id", &domain, sizeof(domain)) > 0) {
567                 __pcpu[id].pc_domain = domain;
568                 if (domain < MAXMEMDOM)
569                         CPU_SET(id, &cpuset_domain[domain]);
570         }
571
572         return (TRUE);
573 }
574 #endif
575
576 /* Initialize and fire up non-boot processors */
577 void
578 cpu_mp_start(void)
579 {
580 #ifdef FDT
581         phandle_t node;
582         int i;
583 #endif
584
585         mtx_init(&ap_boot_mtx, "ap boot", NULL, MTX_SPIN);
586
587         CPU_SET(0, &all_cpus);
588
589         switch(arm64_bus_method) {
590 #ifdef DEV_ACPI
591         case ARM64_BUS_ACPI:
592                 KASSERT(cpu0 >= 0, ("Current CPU was not found"));
593                 cpu_init_acpi();
594                 break;
595 #endif
596 #ifdef FDT
597         case ARM64_BUS_FDT:
598                 node = OF_peer(0);
599                 for (i = 0; fdt_quirks[i].compat != NULL; i++) {
600                         if (ofw_bus_node_is_compatible(node,
601                             fdt_quirks[i].compat) != 0) {
602                                 mp_quirks = fdt_quirks[i].quirks;
603                         }
604                 }
605                 KASSERT(cpu0 >= 0, ("Current CPU was not found"));
606                 ofw_cpu_early_foreach(cpu_init_fdt, true);
607                 break;
608 #endif
609         default:
610                 break;
611         }
612 }
613
614 /* Introduce rest of cores to the world */
615 void
616 cpu_mp_announce(void)
617 {
618 }
619
620 #ifdef DEV_ACPI
621 static void
622 cpu_count_acpi_handler(ACPI_SUBTABLE_HEADER *entry, void *arg)
623 {
624         ACPI_MADT_GENERIC_INTERRUPT *intr;
625         u_int *cores = arg;
626         uint64_t mpidr_reg;
627
628         switch(entry->Type) {
629         case ACPI_MADT_TYPE_GENERIC_INTERRUPT:
630                 intr = (ACPI_MADT_GENERIC_INTERRUPT *)entry;
631                 if (cpu0 < 0) {
632                         mpidr_reg = READ_SPECIALREG(mpidr_el1);
633                         if ((mpidr_reg & 0xff00fffffful) == intr->ArmMpidr)
634                                 cpu0 = *cores;
635                 }
636                 (*cores)++;
637                 break;
638         default:
639                 break;
640         }
641 }
642
643 static u_int
644 cpu_count_acpi(void)
645 {
646         ACPI_TABLE_MADT *madt;
647         vm_paddr_t physaddr;
648         u_int cores;
649
650         physaddr = acpi_find_table(ACPI_SIG_MADT);
651         if (physaddr == 0)
652                 return (0);
653
654         madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
655         if (madt == NULL) {
656                 printf("Unable to map the MADT, not starting APs\n");
657                 return (0);
658         }
659
660         cores = 0;
661         acpi_walk_subtables(madt + 1, (char *)madt + madt->Header.Length,
662             cpu_count_acpi_handler, &cores);
663
664         acpi_unmap_table(madt);
665
666         return (cores);
667 }
668 #endif
669
670 #ifdef FDT
671 static boolean_t
672 cpu_find_cpu0_fdt(u_int id, phandle_t node, u_int addr_size, pcell_t *reg)
673 {
674         uint64_t mpidr_fdt, mpidr_reg;
675
676         if (cpu0 < 0) {
677                 mpidr_fdt = reg[0];
678                 if (addr_size == 2) {
679                         mpidr_fdt <<= 32;
680                         mpidr_fdt |= reg[1];
681                 }
682
683                 mpidr_reg = READ_SPECIALREG(mpidr_el1);
684
685                 if ((mpidr_reg & 0xff00fffffful) == mpidr_fdt)
686                         cpu0 = id;
687         }
688
689         return (TRUE);
690 }
691 #endif
692
693 void
694 cpu_mp_setmaxid(void)
695 {
696 #if defined(DEV_ACPI) || defined(FDT)
697         int cores;
698 #endif
699
700         switch(arm64_bus_method) {
701 #ifdef DEV_ACPI
702         case ARM64_BUS_ACPI:
703                 cores = cpu_count_acpi();
704                 if (cores > 0) {
705                         cores = MIN(cores, MAXCPU);
706                         if (bootverbose)
707                                 printf("Found %d CPUs in the ACPI tables\n",
708                                     cores);
709                         mp_ncpus = cores;
710                         mp_maxid = cores - 1;
711                         return;
712                 }
713                 break;
714 #endif
715 #ifdef FDT
716         case ARM64_BUS_FDT:
717                 cores = ofw_cpu_early_foreach(cpu_find_cpu0_fdt, false);
718                 if (cores > 0) {
719                         cores = MIN(cores, MAXCPU);
720                         if (bootverbose)
721                                 printf("Found %d CPUs in the device tree\n",
722                                     cores);
723                         mp_ncpus = cores;
724                         mp_maxid = cores - 1;
725                         return;
726                 }
727                 break;
728 #endif
729         default:
730                 break;
731         }
732
733         if (bootverbose)
734                 printf("No CPU data, limiting to 1 core\n");
735         mp_ncpus = 1;
736         mp_maxid = 0;
737 }
738
739 /*
740  *  Lookup IPI source.
741  */
742 static struct intr_ipi *
743 intr_ipi_lookup(u_int ipi)
744 {
745
746         if (ipi >= INTR_IPI_COUNT)
747                 panic("%s: no such IPI %u", __func__, ipi);
748
749         return (&ipi_sources[ipi]);
750 }
751
752 /*
753  *  interrupt controller dispatch function for IPIs. It should
754  *  be called straight from the interrupt controller, when associated
755  *  interrupt source is learned. Or from anybody who has an interrupt
756  *  source mapped.
757  */
758 void
759 intr_ipi_dispatch(u_int ipi, struct trapframe *tf)
760 {
761         void *arg;
762         struct intr_ipi *ii;
763
764         ii = intr_ipi_lookup(ipi);
765         if (ii->ii_count == NULL)
766                 panic("%s: not setup IPI %u", __func__, ipi);
767
768         intr_ipi_increment_count(ii->ii_count, PCPU_GET(cpuid));
769
770         /*
771          * Supply ipi filter with trapframe argument
772          * if none is registered.
773          */
774         arg = ii->ii_handler_arg != NULL ? ii->ii_handler_arg : tf;
775         ii->ii_handler(arg);
776 }
777
778 #ifdef notyet
779 /*
780  *  Map IPI into interrupt controller.
781  *
782  *  Not SMP coherent.
783  */
784 static int
785 ipi_map(struct intr_irqsrc *isrc, u_int ipi)
786 {
787         boolean_t is_percpu;
788         int error;
789
790         if (ipi >= INTR_IPI_COUNT)
791                 panic("%s: no such IPI %u", __func__, ipi);
792
793         KASSERT(intr_irq_root_dev != NULL, ("%s: no root attached", __func__));
794
795         isrc->isrc_type = INTR_ISRCT_NAMESPACE;
796         isrc->isrc_nspc_type = INTR_IRQ_NSPC_IPI;
797         isrc->isrc_nspc_num = ipi_next_num;
798
799         error = PIC_REGISTER(intr_irq_root_dev, isrc, &is_percpu);
800         if (error == 0) {
801                 isrc->isrc_dev = intr_irq_root_dev;
802                 ipi_next_num++;
803         }
804         return (error);
805 }
806
807 /*
808  *  Setup IPI handler to interrupt source.
809  *
810  *  Note that there could be more ways how to send and receive IPIs
811  *  on a platform like fast interrupts for example. In that case,
812  *  one can call this function with ASIF_NOALLOC flag set and then
813  *  call intr_ipi_dispatch() when appropriate.
814  *
815  *  Not SMP coherent.
816  */
817 int
818 intr_ipi_set_handler(u_int ipi, const char *name, intr_ipi_filter_t *filter,
819     void *arg, u_int flags)
820 {
821         struct intr_irqsrc *isrc;
822         int error;
823
824         if (filter == NULL)
825                 return(EINVAL);
826
827         isrc = intr_ipi_lookup(ipi);
828         if (isrc->isrc_ipifilter != NULL)
829                 return (EEXIST);
830
831         if ((flags & AISHF_NOALLOC) == 0) {
832                 error = ipi_map(isrc, ipi);
833                 if (error != 0)
834                         return (error);
835         }
836
837         isrc->isrc_ipifilter = filter;
838         isrc->isrc_arg = arg;
839         isrc->isrc_handlers = 1;
840         isrc->isrc_count = intr_ipi_setup_counters(name);
841         isrc->isrc_index = 0; /* it should not be used in IPI case */
842
843         if (isrc->isrc_dev != NULL) {
844                 PIC_ENABLE_INTR(isrc->isrc_dev, isrc);
845                 PIC_ENABLE_SOURCE(isrc->isrc_dev, isrc);
846         }
847         return (0);
848 }
849 #endif
850
851 /* Sending IPI */
852 void
853 ipi_all_but_self(u_int ipi)
854 {
855         cpuset_t cpus;
856
857         cpus = all_cpus;
858         CPU_CLR(PCPU_GET(cpuid), &cpus);
859         CTR2(KTR_SMP, "%s: ipi: %x", __func__, ipi);
860         intr_ipi_send(cpus, ipi);
861 }
862
863 void
864 ipi_cpu(int cpu, u_int ipi)
865 {
866         cpuset_t cpus;
867
868         CPU_ZERO(&cpus);
869         CPU_SET(cpu, &cpus);
870
871         CTR3(KTR_SMP, "%s: cpu: %d, ipi: %x", __func__, cpu, ipi);
872         intr_ipi_send(cpus, ipi);
873 }
874
875 void
876 ipi_selected(cpuset_t cpus, u_int ipi)
877 {
878
879         CTR2(KTR_SMP, "%s: ipi: %x", __func__, ipi);
880         intr_ipi_send(cpus, ipi);
881 }