Man pages matching name device_get_state in section 9: