hp_wmi_get_dock_state
hp_wmi_get_dock_state());
val = hp_wmi_get_dock_state();
int value = hp_wmi_get_dock_state();