Symbol: DEVI_IGNORED
usr.bin/config/main.c
1912
else if (state != DEVI_IGNORED)
usr.bin/config/main.c
1927
if (state == DEVI_IGNORED) {
usr.bin/config/main.c
1969
DEVI_IGNORED, i->i_level))
usr.bin/config/main.c
2031
active = DEVI_IGNORED;
usr.bin/config/main.c
2077
if (state == DEVI_IGNORED) {
usr.bin/config/main.c
2106
active = DEVI_IGNORED;
usr.bin/config/sem.c
1919
} else if (vflag && i->i_active == DEVI_IGNORED)