pub type CpuSet = IdSet;
A CPU set for tracking which CPUs are online/active
pub struct CpuSet { /* private fields */ }