WMI_HP_SENSOR_DOCK
sensor = WMI_HP_SENSOR_DOCK;
wmi_hp_sensor_read(sc, &sc->sc_sensor[WMI_HP_SENSOR_DOCK],