pub const PRIORITY_STARVATION_COUNTER: u32 = _; // 135u32
Starvation counter word used by the priority scheduler.