SCHED_BATCH
return normal_policy(policy) || policy == SCHED_BATCH;
case SCHED_BATCH:
{ "batch", SCHED_BATCH, DEFAULT_PRI },