diff options
| author | Andrew Turner <andrew@FreeBSD.org> | 2016-08-22 19:05:11 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2016-08-22 19:05:11 +0000 |
| commit | 724c3e47f6f0374a656aa1af55ab40b9a2957ed6 (patch) | |
| tree | 2740ce09b7587dde3bffbf9f6b7bed049f423213 /sys/arm64 | |
| parent | 4620ba2e32b8e2c14230c7395eb203a46ea246ac (diff) | |
| download | src-724c3e47f6f0374a656aa1af55ab40b9a2957ed6.tar.gz src-724c3e47f6f0374a656aa1af55ab40b9a2957ed6.zip | |
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
Notes
Notes:
svn path=/head/; revision=304625
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 34aecce89e38..85f58a98c956 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) { |