K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-08-22T19:05:11.985789Z
K 7
svn:log
V 173
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

END