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