Symbol: CDP_FLAG
sys/kern/kern_conf.c
1599
CDP_FLAG(CDP_ACTIVE);
sys/kern/kern_conf.c
1600
CDP_FLAG(CDP_SCHED_DTR);