Symbol: CHECK_IDX
sys/kern/kern_switch.c
314
CHECK_IDX(idx);
sys/kern/kern_switch.c
444
CHECK_IDX(idx);
sys/kern/kern_switch.c
500
CHECK_IDX(lvl_min);
sys/kern/kern_switch.c
501
CHECK_IDX(lvl_max);