sched_priority_high_allowed
return sched_priority_high_allowed(VFID(1));
if (!sched_priority_high_allowed(vfid))