Gray out priority context menu item if task has reservation (i.e., it's scheduled using SCHED_DEADLINE)