Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xen-hcd.c xenhcd_urb_enqueue() -> xenhcd_submit_urb()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->error 0
PARAM_VALUE 1 urbp 4096-ptr_max
PARAM_VALUE 1 urbp->list.next 4096-ptr_max
PARAM_VALUE 1 urbp->list.next->next 4096-ptr_max
PARAM_VALUE 1 urbp->list.prev 4096-ptr_max
PARAM_VALUE 1 urbp->list.prev->next 4096-ptr_max
PARAM_VALUE 1 urbp->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 urbp->req_id (-1)
PARAM_VALUE 1 urbp->status 1
PARAM_VALUE 1 urbp->unlink_req_id (-1)
PARAM_VALUE 1 urbp->urb 4096-ptr_max
PARAM_VALUE 1 urbp->urb->actual_length 0
PARAM_VALUE 1 urbp->urb->complete 1-u64max
PARAM_VALUE 1 urbp->urb->dev 4096-ptr_max
PARAM_VALUE 1 urbp->urb->ep 4096-ptr_max
PARAM_VALUE 1 urbp->urb->hcpriv 0
PARAM_VALUE 1 urbp->urb->interval s32min-32768
PARAM_VALUE 1 urbp->urb->num_mapped_sgs 0-s32max
PARAM_VALUE 1 urbp->urb->setup_packet 1-u64max
PARAM_VALUE 1 urbp->urb->status (-115)
PARAM_VALUE 1 urbp->urb->transfer_buffer_length 0-s32max
CAPPED_DATA 1 urbp->urb->interval 1
CAPPED_DATA 1 urbp->urb->transfer_buffer_length 1
DATA_SOURCE 1 urbp r kmem_cache_alloc_noprof
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &info->lock
TYPE_LOCK (struct xenhcd_info)->lock