svn commit: r305533 - stable/11/sys/arm64/arm64

[Andrew Turner]

Author: andrew
Date: Wed Sep  7 13:10:02 2016
New Revision: 305533
URL: https://svnweb.freebsd.org/changeset/base/305533

Log:
  MFC 304625:
   Fix the arm64 non-SMP build.
  
  Obtained from:	ABT Systems Ltd
  Sponsored by:	The FreeBSD Foundation

Modified:
  stable/11/sys/arm64/arm64/gic_v3.c
Directory Properties:
  stable/11/   (props changed)

Modified: stable/11/sys/arm64/arm64/gic_v3.c
==============================================================================
--- stable/11/sys/arm64/arm64/gic_v3.c	Wed Sep  7 12:59:08 2016	(r305532)
+++ stable/11/sys/arm64/arm64/gic_v3.c	Wed Sep  7 13:10:02 2016	(r305533)
@@ -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) {