Symbol: DEVI_BROKEN
usr.bin/config/sem.c
1291
i->i_active = DEVI_BROKEN;
usr.bin/config/sem.c
1311
i->i_active = DEVI_BROKEN;
usr.bin/config/sem.c
1332
i->i_active = DEVI_BROKEN;
usr.bin/config/sem.c
1386
if (i->i_active != DEVI_BROKEN &&
usr.bin/config/sem.c
1435
if (i->i_active == DEVI_BROKEN) {