Symbol: DDI_FM_SERVICE_DEGRADED
usr/src/uts/common/io/bofi.c
4548
DDI_FM_SERVICE_DEGRADED) == 0)
usr/src/uts/common/os/ddifm.c
177
DDI_FM_SERVICE_DEGRADED);