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
Fix the arm64 non-SMP build, active_irq is a uint64_t so cast it through Tags None Referenced Files None Subscribers None
Description
Details
|