pub const SYSTEM_CPU_SET_INFORMATION_ALLOCATED: u32 = 2u32;