Symbol: IDX_INVALID
kernel/sched/cpudeadline.c
185
if (old_idx == IDX_INVALID) {
kernel/sched/cpudeadline.c
197
cp->elements[cpu].idx = IDX_INVALID;
kernel/sched/cpudeadline.c
228
if (old_idx == IDX_INVALID) {
kernel/sched/cpudeadline.c
265
cp->elements[i].idx = IDX_INVALID;