pub const WakeTimerList: u32 = ProcessorIdleDomains + 1u32; // 50u32