Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/host/ehci-hcd.c ehci_remove_device() -> drop_tt()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 udev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 udev->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 udev->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 udev->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 udev->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 udev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 udev->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 udev->parent 1-u64max
PARAM_VALUE 0 udev->usb4_link->link_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 udev->usb4_link->link_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 udev->usb4_link->link_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 udev->usb4_link->supplier->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *udev->toggle 0-4294967295
BUF_SIZE 0 udev (-1),2344
BUF_SIZE 0 udev (-1),2344
CAPPED_DATA 0 udev 1
DATA_SOURCE 0 udev $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ehci->lock
LOCK2 irq
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ehci_hcd)->lock

drivers/usb/host/xhci-mtk-sch.c destroy_sch_ep() -> drop_tt()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 udev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 udev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *udev->toggle 0-4294967295
CAPPED_DATA 0 udev 1
DATA_SOURCE 0 udev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 0 &udev->dev.mutex