Page MenuHomeFreeBSD

D60071.id187827.diff
No OneTemporary

D60071.id187827.diff

Index: sys/arm64/arm64/gicv5_acpi.c
===================================================================
--- sys/arm64/arm64/gicv5_acpi.c
+++ sys/arm64/arm64/gicv5_acpi.c
@@ -363,7 +363,13 @@
if (sc->gic_pic == NULL)
panic("%s: could not register PIC", device_get_nameunit(dev));
- intr_ipi_pic_register(dev, 0);
+#ifdef SMP
+ err = intr_ipi_pic_register(dev, 0);
+ if (err != 0) {
+ device_printf(dev, "Could not register for IPIs\n");
+ goto count_error;
+ }
+#endif
err = intr_pic_claim_root(dev, ACPI_INTR_XREF, gicv5_intr, sc,
INTR_ROOT_IRQ);

File Metadata

Mime Type
text/plain
Expires
Thu, Oct 8, 5:47 AM (7 h, 9 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
40392198
Default Alt Text
D60071.id187827.diff (566 B)

Event Timeline