diff options
author | andrew <andrew@FreeBSD.org> | 2016-09-07 13:10:02 +0000 |
---|---|---|
committer | andrew <andrew@FreeBSD.org> | 2016-09-07 13:10:02 +0000 |
commit | 28d8bf397878432c0eb3f01fad056a83dfe2a808 (patch) | |
tree | dd10bbcef0e919e298c2d91e26bd73eeaa94eea8 /sys/arm64 | |
parent | a9fd4815fcf34f47d730136efd6afb73d593f80f (diff) | |
download | FreeBSD-src-28d8bf397878432c0eb3f01fad056a83dfe2a808.zip FreeBSD-src-28d8bf397878432c0eb3f01fad056a83dfe2a808.tar.gz |
MFC 304625:
Fix the arm64 non-SMP build.
Obtained from: ABT Systems Ltd
Sponsored by: The FreeBSD Foundation
Diffstat (limited to 'sys/arm64')
-rw-r--r-- | sys/arm64/arm64/gic_v3.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/arm64/arm64/gic_v3.c b/sys/arm64/arm64/gic_v3.c index 34aecce..85f58a9 100644 --- a/sys/arm64/arm64/gic_v3.c +++ b/sys/arm64/arm64/gic_v3.c @@ -408,8 +408,8 @@ arm_gic_v3_intr(void *arg) #ifdef SMP intr_ipi_dispatch(sgi_to_ipi[gi->gi_irq], tf); #else - device_printf(sc->dev, "SGI %u on UP system detected\n", - active_irq - GIC_FIRST_SGI); + device_printf(sc->dev, "SGI %ju on UP system detected\n", + (uintmax_t)(active_irq - GIC_FIRST_SGI)); #endif } else if (active_irq >= GIC_FIRST_PPI && active_irq <= GIC_LAST_SPI) { |