Author: andrew
Date: Mon Aug 22 19:05:11 2016
New Revision: 304625
URL: https://svnweb.freebsd.org/changeset/base/304625
Log:
Fix the arm64 non-SMP build, active_irq is a uint64_t so cast it through
a uintmax_t.
Obtained from: ABT Systems Ltd
MFC after: 1 week
Sponsored by: The FreeBSD Foundation
Modified:
head/sys/arm64/arm64/gic_v3.c
Modified: head/sys/arm64/arm64/gic_v3.c
==============================================================================
--- head/sys/arm64/arm64/gic_v3.c Mon Aug 22 18:50:57 2016
(r304624)
+++ head/sys/arm64/arm64/gic_v3.c Mon Aug 22 19:05:11 2016
(r304625)
@@ -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) {
_______________________________________________
svn-src-all@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-all
To unsubscribe, send any mail to "svn-src-all-unsubscr...@freebsd.org"
