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;