Symbol: BUBBLE_OK
usr/src/cmd/fm/modules/common/eversholt/fme.c
3957
if (!(bp->mark & (BUBBLE_ELIDED|BUBBLE_OK))) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
3970
bp->mark |= BUBBLE_OK;
usr/src/cmd/fm/modules/common/eversholt/fme.c
4009
if (!(bp->mark & BUBBLE_OK) && waiting_events == 0) {