Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/host/xhci.c xhci_add_endpoint() -> xhci_check_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver->check_bandwidth | 1-u64max |
| PARAM_VALUE | 1 | udev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 2 | ep | 4096-ptr_max |
| PARAM_VALUE | 3 | check_ep | 1 |
| PARAM_VALUE | 4 | check_virt_dev | 1 |
| PARAM_VALUE | 5 | func | 2737168477915807744 |
| BUF_SIZE | 5 | func | 18 |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 1 | udev | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | udev | $1 |
| DATA_SOURCE | 2 | ep | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | hcd->bandwidth_mutex | ||
| HALF_LOCKED2 | 1 | &udev->dev.mutex |
drivers/usb/host/xhci.c xhci_check_bandwidth() -> xhci_check_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver->check_bandwidth | 1-u64max |
| PARAM_VALUE | 1 | udev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 2 | ep | 0 |
| PARAM_VALUE | 3 | check_ep | 0 |
| PARAM_VALUE | 4 | check_virt_dev | 1 |
| PARAM_VALUE | 5 | func | 1192394656184893440 |
| BUF_SIZE | 5 | func | 21 |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 1 | udev | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | udev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | hcd->bandwidth_mutex | ||
| HALF_LOCKED2 | 1 | &udev->dev.mutex |
drivers/usb/host/xhci.c xhci_check_streams_endpoint() -> xhci_check_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | udev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->speed | 5-u32max |
| PARAM_VALUE | 1 | udev->state | 7-u32max |
| PARAM_VALUE | 2 | ep | 1-u64max |
| PARAM_VALUE | 3 | check_ep | 1 |
| PARAM_VALUE | 4 | check_virt_dev | 1 |
| PARAM_VALUE | 5 | func | 6664214535607148544 |
| BUF_SIZE | 5 | func | 28 |
| CAPPED_DATA | 1 | udev | 1 |
| DATA_SOURCE | 1 | udev | $1 |
| DATA_SOURCE | 2 | ep | $2 |
| FUZZY_MAX | 1 | udev->speed | 5 |
| FUZZY_MAX | 1 | udev->state | 7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &xhci->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &dev->dev.mutex | ||
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci.c xhci_discover_or_reset_device() -> xhci_check_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver->reset_device | 1-u64max |
| PARAM_VALUE | 1 | udev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 2 | ep | 0 |
| PARAM_VALUE | 3 | check_ep | 0 |
| PARAM_VALUE | 4 | check_virt_dev | 0 |
| PARAM_VALUE | 5 | func | 2298045304624320512 |
| BUF_SIZE | 5 | func | 30 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | udev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &hdev->dev.mutex | ||
| HALF_LOCKED2 | &port_dev->status_lock | ||
| HALF_LOCKED2 | 1 | &udev->dev.mutex |
drivers/usb/host/xhci.c xhci_drop_endpoint() -> xhci_check_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver->check_bandwidth | 1-u64max |
| PARAM_VALUE | 1 | udev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 2 | ep | 1-u64max |
| PARAM_VALUE | 3 | check_ep | 1 |
| PARAM_VALUE | 4 | check_virt_dev | 1 |
| PARAM_VALUE | 5 | func | 2993888915794751488 |
| BUF_SIZE | 5 | func | 19 |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 1 | udev | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | udev | $1 |
| DATA_SOURCE | 2 | ep | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | hcd->bandwidth_mutex | ||
| HALF_LOCKED2 | 1 | &udev->dev.mutex |
drivers/usb/host/xhci.c xhci_free_dev() -> xhci_check_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver->free_dev | 1-u64max |
| PARAM_VALUE | 1 | udev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 1 | udev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | udev->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | udev->parent | 1-u64max |
| PARAM_VALUE | 1 | udev->usb4_link->link_dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | udev->usb4_link->link_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | udev->usb4_link->link_dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | udev->usb4_link->supplier->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 2 | ep | 0 |
| PARAM_VALUE | 3 | check_ep | 0 |
| PARAM_VALUE | 4 | check_virt_dev | 1 |
| PARAM_VALUE | 5 | func | 462729411943792640 |
| BUF_SIZE | 1 | udev | (-1),2344 |
| BUF_SIZE | 1 | udev | (-1),2344 |
| BUF_SIZE | 5 | func | 14 |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 0 | hcd->primary_hcd | 1 |
| CAPPED_DATA | 1 | udev | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | udev | $1 |
| PARAM_COMPARE | 0 | hcd | >= $0->primary_hcd |
| PARAM_COMPARE | 0 | hcd | >= $0->primary_hcd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/usb/host/xhci.c xhci_reset_bandwidth() -> xhci_check_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver->check_bandwidth | 1-u64max |
| PARAM_VALUE | 1 | udev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 2 | ep | 0 |
| PARAM_VALUE | 3 | check_ep | 0 |
| PARAM_VALUE | 4 | check_virt_dev | 1 |
| PARAM_VALUE | 5 | func | 2771442461465833472 |
| BUF_SIZE | 5 | func | 21 |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 1 | udev | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| DATA_SOURCE | 1 | udev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | hcd->bandwidth_mutex | ||
| HALF_LOCKED2 | 1 | &udev->dev.mutex |
drivers/usb/host/xhci.c xhci_urb_enqueue() -> xhci_check_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcd | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->self.mon_bus->cnt_events | 0-4294967295 |
| PARAM_VALUE | 0 | hcd->self.mon_bus->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hcd->self.sysdev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | udev->parent | 1-u64max |
| PARAM_VALUE | 1 | udev->state | 4-u32max |
| PARAM_VALUE | 2 | ep | 4096-ptr_max |
| PARAM_VALUE | 3 | check_ep | 1 |
| PARAM_VALUE | 4 | check_virt_dev | 1 |
| PARAM_VALUE | 5 | func | 5305849750340943872 |
| BUF_SIZE | 5 | func | 17 |
| CAPPED_DATA | 0 | hcd | 1 |
| CAPPED_DATA | 0 | hcd->primary_hcd | 1 |
| DATA_SOURCE | 0 | hcd | $0 |
| FUZZY_MAX | 1 | udev->state | 7 |
| PARAM_COMPARE | 0 | hcd | >= $0->primary_hcd |
| PARAM_COMPARE | 0 | hcd | >= $0->primary_hcd |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &xhci->lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct xhci_hcd)->lock |