2 * Copyright (c) 2011,2016 The FreeBSD Foundation
5 * This software was developed by Andrew Turner under
6 * sponsorship from the FreeBSD Foundation.
8 * Developed by Damjan Marion <damjan.marion@gmail.com>
10 * Based on OMAP4 GIC code by Ben Gray
12 * Redistribution and use in source and binary forms, with or without
13 * modification, are permitted provided that the following conditions
15 * 1. Redistributions of source code must retain the above copyright
16 * notice, this list of conditions and the following disclaimer.
17 * 2. Redistributions in binary form must reproduce the above copyright
18 * notice, this list of conditions and the following disclaimer in the
19 * documentation and/or other materials provided with the distribution.
20 * 3. The name of the company nor the name of the author may be used to
21 * endorse or promote products derived from this software without specific
22 * prior written permission.
24 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
25 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
26 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
27 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
28 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
29 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
30 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
31 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
32 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
33 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
37 #include "opt_platform.h"
39 #include <sys/cdefs.h>
40 __FBSDID("$FreeBSD$");
42 #include <sys/param.h>
43 #include <sys/systm.h>
45 #include <sys/kernel.h>
46 #include <sys/malloc.h>
47 #include <sys/module.h>
49 #include <machine/intr.h>
51 #include <contrib/dev/acpica/include/acpi.h>
52 #include <dev/acpica/acpivar.h>
54 #include <arm/arm/gic.h>
55 #include <arm/arm/gic_common.h>
57 struct gic_acpi_devinfo {
58 struct resource_list rl;
61 static device_identify_t gic_acpi_identify;
62 static device_probe_t gic_acpi_probe;
63 static device_attach_t gic_acpi_attach;
64 static bus_get_resource_list_t gic_acpi_get_resource_list;
65 static bool arm_gic_add_children(device_t);
67 static device_method_t gic_acpi_methods[] = {
68 /* Device interface */
69 DEVMETHOD(device_identify, gic_acpi_identify),
70 DEVMETHOD(device_probe, gic_acpi_probe),
71 DEVMETHOD(device_attach, gic_acpi_attach),
74 DEVMETHOD(bus_get_resource_list, gic_acpi_get_resource_list),
79 DEFINE_CLASS_1(gic, gic_acpi_driver, gic_acpi_methods,
80 sizeof(struct arm_gic_softc), arm_gic_driver);
82 static devclass_t gic_acpi_devclass;
84 EARLY_DRIVER_MODULE(gic, acpi, gic_acpi_driver, gic_acpi_devclass, 0, 0,
85 BUS_PASS_INTERRUPT + BUS_PASS_ORDER_MIDDLE);
87 struct madt_table_data {
89 ACPI_MADT_GENERIC_DISTRIBUTOR *dist;
90 ACPI_MADT_GENERIC_INTERRUPT *intr[MAXCPU];
94 madt_handler(ACPI_SUBTABLE_HEADER *entry, void *arg)
96 struct madt_table_data *madt_data;
97 ACPI_MADT_GENERIC_INTERRUPT *intr;
99 madt_data = (struct madt_table_data *)arg;
101 switch(entry->Type) {
102 case ACPI_MADT_TYPE_GENERIC_DISTRIBUTOR:
103 if (madt_data->dist != NULL) {
105 device_printf(madt_data->parent,
106 "gic: Already have a distributor table");
109 (ACPI_MADT_GENERIC_DISTRIBUTOR *)entry;
111 case ACPI_MADT_TYPE_GENERIC_INTERRUPT:
112 intr = (ACPI_MADT_GENERIC_INTERRUPT *)entry;
113 if (intr->CpuInterfaceNumber < MAXCPU)
114 madt_data->intr[intr->CpuInterfaceNumber] = intr;
120 gic_acpi_identify(driver_t *driver, device_t parent)
122 struct madt_table_data madt_data;
123 ACPI_MADT_GENERIC_INTERRUPT *intr;
124 ACPI_TABLE_MADT *madt;
129 physaddr = acpi_find_table(ACPI_SIG_MADT);
133 madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
135 device_printf(parent, "gic: Unable to map the MADT\n");
139 bzero(&madt_data, sizeof(madt_data));
140 madt_data.parent = parent;
141 madt_data.dist = NULL;
143 acpi_walk_subtables(madt + 1, (char *)madt + madt->Header.Length,
144 madt_handler, &madt_data);
146 /* Check the version of the GIC we have */
147 switch (madt_data.dist->Version) {
148 case ACPI_MADT_GIC_VERSION_NONE:
149 case ACPI_MADT_GIC_VERSION_V1:
150 case ACPI_MADT_GIC_VERSION_V2:
157 for (i = 0; i < MAXCPU; i++) {
158 if (madt_data.intr[i] != NULL) {
160 intr = madt_data.intr[i];
161 } else if (intr->BaseAddress !=
162 madt_data.intr[i]->BaseAddress) {
163 device_printf(parent,
164 "gic: Not all CPU interfaces at the same address, this may fail\n");
169 device_printf(parent, "gic: No CPU interfaces found\n");
173 dev = BUS_ADD_CHILD(parent, BUS_PASS_INTERRUPT + BUS_PASS_ORDER_MIDDLE,
176 device_printf(parent, "add gic child failed\n");
180 BUS_SET_RESOURCE(parent, dev, SYS_RES_MEMORY, 0,
181 madt_data.dist->BaseAddress, 4 * 1024);
182 BUS_SET_RESOURCE(parent, dev, SYS_RES_MEMORY, 1,
183 intr->BaseAddress, 4 * 1024);
185 acpi_set_private(dev, (void *)(uintptr_t)madt_data.dist->Version);
187 acpi_unmap_table(madt);
191 gic_acpi_probe(device_t dev)
194 switch((uintptr_t)acpi_get_private(dev)) {
195 case ACPI_MADT_GIC_VERSION_NONE:
196 case ACPI_MADT_GIC_VERSION_V1:
197 case ACPI_MADT_GIC_VERSION_V2:
203 device_set_desc(dev, "ARM Generic Interrupt Controller");
204 return (BUS_PROBE_NOWILDCARD);
208 gic_acpi_attach(device_t dev)
210 struct arm_gic_softc *sc = device_get_softc(dev);
214 sc->gic_bus = GIC_BUS_ACPI;
216 err = arm_gic_attach(dev);
223 * Now, when everything is initialized, it's right time to
224 * register interrupt controller to interrupt framefork.
226 if (intr_pic_register(dev, xref) == NULL) {
227 device_printf(dev, "could not register PIC\n");
232 * Controller is root:
234 if (intr_pic_claim_root(dev, xref, arm_gic_intr, sc,
235 GIC_LAST_SGI - GIC_FIRST_SGI + 1) != 0) {
236 device_printf(dev, "could not set PIC as a root\n");
237 intr_pic_deregister(dev, xref);
240 /* If we have children probe and attach them */
241 if (arm_gic_add_children(dev)) {
242 bus_generic_probe(dev);
243 return (bus_generic_attach(dev));
253 static struct resource_list *
254 gic_acpi_get_resource_list(device_t bus, device_t child)
256 struct gic_acpi_devinfo *di;
258 di = device_get_ivars(child);
259 KASSERT(di != NULL, ("gic_acpi_get_resource_list: No devinfo"));
265 madt_gicv2m_handler(ACPI_SUBTABLE_HEADER *entry, void *arg)
267 struct arm_gic_softc *sc;
268 ACPI_MADT_GENERIC_MSI_FRAME *msi;
269 struct gic_acpi_devinfo *dinfo;
272 if (entry->Type == ACPI_MADT_TYPE_GENERIC_MSI_FRAME) {
275 msi = (ACPI_MADT_GENERIC_MSI_FRAME *)entry;
277 device_printf(dev, "frame: %x %lx %x %u %u\n", msi->MsiFrameId,
278 msi->BaseAddress, msi->Flags, msi->SpiCount, msi->SpiBase);
280 cdev = device_add_child(dev, NULL, -1);
284 dinfo = malloc(sizeof(*dinfo), M_DEVBUF, M_WAITOK | M_ZERO);
285 resource_list_init(&dinfo->rl);
286 resource_list_add(&dinfo->rl, SYS_RES_MEMORY, 0,
287 msi->BaseAddress, msi->BaseAddress + PAGE_SIZE - 1,
289 device_set_ivars(cdev, dinfo);
294 arm_gic_add_children(device_t dev)
296 struct arm_gic_softc *sc = device_get_softc(dev);
297 ACPI_TABLE_MADT *madt;
300 /* This should return a valid address as it did in gic_acpi_identify */
301 physaddr = acpi_find_table(ACPI_SIG_MADT);
305 madt = acpi_map_table(physaddr, ACPI_SIG_MADT);
307 device_printf(dev, "gic: Unable to map the MADT\n");
311 acpi_walk_subtables(madt + 1, (char *)madt + madt->Header.Length,
312 madt_gicv2m_handler, sc);
314 acpi_unmap_table(madt);
320 arm_gicv2m_acpi_probe(device_t dev)
323 if (gic_get_bus(dev) != GIC_BUS_ACPI)
326 if (gic_get_hw_rev(dev) > 2)
329 device_set_desc(dev, "ARM Generic Interrupt Controller MSI/MSIX");
330 return (BUS_PROBE_DEFAULT);
333 static device_method_t arm_gicv2m_acpi_methods[] = {
334 /* Device interface */
335 DEVMETHOD(device_probe, arm_gicv2m_acpi_probe),
341 DEFINE_CLASS_1(gicv2m, arm_gicv2m_acpi_driver, arm_gicv2m_acpi_methods,
342 sizeof(struct arm_gicv2m_softc), arm_gicv2m_driver);
344 static devclass_t arm_gicv2m_acpi_devclass;
346 EARLY_DRIVER_MODULE(gicv2m_acpi, gic, arm_gicv2m_acpi_driver,
347 arm_gicv2m_acpi_devclass, 0, 0, BUS_PASS_INTERRUPT + BUS_PASS_ORDER_MIDDLE);