HPWMI_DOCK_MASK   436 drivers/platform/x86/hp-wmi.c 	int value = hp_wmi_hw_state(HPWMI_DOCK_MASK);
HPWMI_DOCK_MASK   563 drivers/platform/x86/hp-wmi.c 					    hp_wmi_hw_state(HPWMI_DOCK_MASK));
HPWMI_DOCK_MASK   644 drivers/platform/x86/hp-wmi.c 	val = hp_wmi_hw_state(HPWMI_DOCK_MASK);
HPWMI_DOCK_MASK   910 drivers/platform/x86/hp-wmi.c 					    hp_wmi_hw_state(HPWMI_DOCK_MASK));