IDX_INVALID 160 kernel/sched/cpudeadline.c if (old_idx == IDX_INVALID) { IDX_INVALID 172 kernel/sched/cpudeadline.c cp->elements[cpu].idx = IDX_INVALID; IDX_INVALID 200 kernel/sched/cpudeadline.c if (old_idx == IDX_INVALID) { IDX_INVALID 259 kernel/sched/cpudeadline.c cp->elements[i].idx = IDX_INVALID;