HomeFreeBSD

As with r325242 use mp_maxid when iterating over CPUs in the GICv3 driver.

Description

As with r325242 use mp_maxid when iterating over CPUs in the GICv3 driver.

Sponsored by: DARPA, AFRL

Details

Provenance
andrewAuthored on
Parents
rS325249: kernel-toolchain: Fix improper build order after r325244.
Branches
Unknown
Tags
Unknown