Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/urb.c usb_kill_urb() -> usb_hcd_unlink_urb()

Type Parameter Key Value
PARAM_VALUE 0 urb 4096-ptr_max
PARAM_VALUE 0 urb->dev 1-u64max
PARAM_VALUE 0 urb->ep 1-u64max
PARAM_VALUE 1 status (-2)
DATA_SOURCE 0 urb $0
NOCHECK_CALL

drivers/usb/core/urb.c usb_poison_urb() -> usb_hcd_unlink_urb()

Type Parameter Key Value
PARAM_VALUE 0 urb 4096-ptr_max
PARAM_VALUE 0 urb->dev 1-u64max
PARAM_VALUE 0 urb->ep 1-u64max
PARAM_VALUE 1 status (-2)
DATA_SOURCE 0 urb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 urb->transfer_buffer_length
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &chaoskey_list_lock

drivers/usb/core/urb.c usb_unlink_urb() -> usb_hcd_unlink_urb()

Type Parameter Key Value
PARAM_VALUE 0 urb 4096-ptr_max
PARAM_VALUE 0 urb->dev 1-u64max
PARAM_VALUE 0 urb->ep 1-u64max
PARAM_VALUE 0 urb->iso_frame_desc->actual_length 0-4294967295
PARAM_VALUE 1 status (-104)
BUF_SIZE 0 urb->context s32min-(-1),1-s32max
DATA_SOURCE 0 urb $0
NOSPEC 0 urb->transfer_buffer_length
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 urb->start_frame 0-s32max
USER_DATA 0 urb->actual_length 0-u32max[c][u]
USER_DATA 0 urb->transfer_buffer_length 1-s32max
NO_OVERFLOW_SIMPLE 0 urb->actual_length
NO_OVERFLOW_SIMPLE 0 urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 urb->setup_dma
NO_OVERFLOW_SIMPLE 0 urb->sg->length
NO_OVERFLOW_SIMPLE 0 urb->transfer_dma
HALF_LOCKED2 &acm->write_lock
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &hdw->ctl_lock_mutex
HALF_LOCKED2 &priv->asynclock
HALF_LOCKED2 &usbhid->lock
HALF_LOCKED2 &vub300->cmd_mutex
HALF_LOCKED2 flags
HALF_LOCKED2 irq