Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/core/hub.c hub_event() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | port_dev->dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | port_dev->dev.power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | port_dev->dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | port_dev->dev.power.usage_count.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->status_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | port_dev->status_lock.osq.tail.counter | 0-s32max |
| NOCHECK_CALL | |||
| LOCK2 | &hdev->dev.mutex | ||
| LOCK2 | 0 | &port_dev->status_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c hub_handle_remote_wakeup() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->child | 1-u64max |
| PARAM_VALUE | 0 | port_dev->child->state | 8 |
| NOCHECK_CALL | |||
| LOCK2 | &hdev->dev.mutex | ||
| LOCK2 | &port_dev->status_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c hub_port_connect() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->child | 0 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev->driver_data->cis_virt | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.devres_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->add | 5235430000054906880 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->early_resume | 6956900869090054144 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->remove | 1719268733136482304 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->requery | 4713442613417914368 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->resume | 5068206944467017728 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->suspend | 2738892915008757760 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->validate | 4934365872137547776 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cis_mem.flags | 0,2-254 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->d_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->detaching.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->device_count | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->sfd_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->sfd_lock.raw_lock.cnts.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->skt_mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->skt_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->dead | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->knode_class.n_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->knode_parent.n_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.completion.done | 4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.last_status | s32min-0,2,4-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.qos | (-19),0 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.usage_count.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->rpm_active.refs.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.request | 0-4 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->status_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | port_dev->status_lock.osq.tail.counter | 0-s32max |
| NOCHECK_CALL | |||
| LOCK2 | &hdev->dev.mutex | ||
| LOCK2 | &port_dev->status_lock | ||
| LOCK2 | 0 | &port_dev->status_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c hub_port_connect() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->child | 0 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev->driver_data->cis_virt | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.devres_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->add | 5235430000054906880 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->early_resume | 6956900869090054144 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->remove | 1719268733136482304 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->requery | 4713442613417914368 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->resume | 5068206944467017728 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->suspend | 2738892915008757760 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->validate | 4934365872137547776 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cis_mem.flags | 0,2-254 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->d_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->detaching.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->device_count | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->sfd_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->sfd_lock.raw_lock.cnts.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->skt_mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->skt_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->dead | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->knode_class.n_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->knode_parent.n_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.completion.done | 4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.last_status | s32min-0,2,4-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.qos | (-19),0 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.usage_count.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->rpm_active.refs.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.request | 0-4 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->status_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | port_dev->status_lock.osq.tail.counter | 0-s32max |
| NOCHECK_CALL | |||
| LOCK2 | &hdev->dev.mutex | ||
| LOCK2 | &port_dev->status_lock | ||
| LOCK2 | 0 | &port_dev->status_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c hub_port_connect() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->child | 0 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev->driver_data->cis_virt | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.devres_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->add | 5235430000054906880 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->early_resume | 6956900869090054144 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->remove | 1719268733136482304 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->requery | 4713442613417914368 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->resume | 5068206944467017728 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->suspend | 2738892915008757760 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->callback->validate | 4934365872137547776 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cdev->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->cis_mem.flags | 0,2-254 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->d_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->detaching.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->device_count | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->ops_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->sfd_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->sfd_lock.raw_lock.cnts.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->skt_mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.driver_data->skt_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.parent->release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->dead | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->knode_class.n_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.p->knode_parent.n_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.parent->kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.completion.done | 4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.last_status | s32min-0,2,4-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.qos | (-19),0 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.usage_count.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->link_dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->rpm_active.refs.counter | 0-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.request | 0-4 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | port_dev->child->usb4_link->supplier->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->status_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | port_dev->status_lock.osq.tail.counter | 0-s32max |
| NOCHECK_CALL | |||
| LOCK2 | &hdev->dev.mutex | ||
| LOCK2 | &port_dev->status_lock | ||
| LOCK2 | 0 | &port_dev->status_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c hub_port_connect_change() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->child | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->child->persist_enabled | 1 |
| PARAM_VALUE | 0 | port_dev->child->state | 8 |
| NOCHECK_CALL | |||
| LOCK2 | &hdev->dev.mutex | ||
| LOCK2 | &port_dev->status_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c hub_port_connect_change() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->child->dev.power.wakeirq->status | 0-4294967295 |
| NOCHECK_CALL | |||
| LOCK2 | &hdev->dev.mutex | ||
| LOCK2 | &port_dev->status_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | 0 | &port_dev->status_lock | |
| TYPE_LOCK | (struct device)->mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c port_event() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->child->state | 1-u32max |
| NOCHECK_CALL | |||
| LOCK2 | &hdev->dev.mutex | ||
| LOCK2 | &port_dev->status_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c usb_port_resume() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->status_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | port_dev->status_lock.osq.tail.counter | 0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &port_dev->status_lock | |
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c usb_port_suspend() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port_dev->status_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | port_dev->status_lock.osq.tail.counter | 0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &port_dev->status_lock | |
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c usb_reset_device() -> usb_unlock_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port_dev->status_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | port_dev->status_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | port_dev->status_lock.osq.tail.counter | 0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &port_dev->status_lock | |
| HALF_LOCKED2 | &desc->rlock | ||
| HALF_LOCKED2 | &desc->wlock | ||
| HALF_LOCKED2 | &dev->dev.mutex | ||
| HALF_LOCKED2 | &hdev->dev.mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &port_dev->status_lock | ||
| HALF_LOCKED2 | &ucr->dev_mutex | ||
| HALF_LOCKED2 | &ud->sysfs_lock | ||
| HALF_LOCKED2 | &udev->dev.mutex | ||
| HALF_LOCKED2 | global &ati_remote2_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct usb_port)->status_lock |