Symbol: sched_priority_high_allowed