IPMI_SENSOR_TYPE_FAN 1328 dev/ipmi.c     	case IPMI_SENSOR_TYPE_FAN:
IPMI_SENSOR_TYPE_FAN 1424 dev/ipmi.c     	case IPMI_SENSOR_TYPE_FAN: