Symbol: OP_DEFAULT
usr/src/cmd/mandoc/mandocdb.c
351
if ((_op) != OP_DEFAULT) { \
usr/src/cmd/mandoc/mandocdb.c
358
op = OP_DEFAULT;
usr/src/cmd/mandoc/mandocdb.c
462
op = OP_DEFAULT;