git: 7a57dcda272c - main - gicv5_acpi: fix non-SMP build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 30 Sep 2026 10:16:37 UTC
The branch main has been updated by br:
URL: https://cgit.FreeBSD.org/src/commit/?id=7a57dcda272cfc8db28cca74e5ed40fe660d22f2
commit 7a57dcda272cfc8db28cca74e5ed40fe660d22f2
Author: Ruslan Bukin <br@FreeBSD.org>
AuthorDate: 2026-09-30 10:08:51 +0000
Commit: Ruslan Bukin <br@FreeBSD.org>
CommitDate: 2026-09-30 10:15:56 +0000
gicv5_acpi: fix non-SMP build
Fix build and check return code of intr_ipi_pic_register().
Reviewed by: Sarah Walker <sarah.walker2@arm.com>
Differential Revision: https://reviews.freebsd.org/D60071
---
sys/arm64/arm64/gicv5_acpi.c | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/sys/arm64/arm64/gicv5_acpi.c b/sys/arm64/arm64/gicv5_acpi.c
index 95ae488e3ed2..0cece1eae0e5 100644
--- a/sys/arm64/arm64/gicv5_acpi.c
+++ b/sys/arm64/arm64/gicv5_acpi.c
@@ -363,7 +363,13 @@ gic_v5_acpi_attach(device_t dev)
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);