HomeFreeBSD

Mark each cpu in the appropriate cpuset_domain set. This allows devices to

Description

Mark each cpu in the appropriate cpuset_domain set. This allows devices to
handle cases where they can only run on a single domain.

To allow all devices access to this set we need to move reading the domain
earlier in the boot as it was previously handled in the CPU driver, however
this is too late for the GICv3 ITS driver.

Sponsored by: DARPA, AFRL

Details

Provenance
andrewAuthored on
Parents
rS322108: Add myself to the calendar.freebsd.
Branches
Unknown
Tags
Unknown