Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xen-hcd.c xenhcd_kick_pending_urbs() -> xenhcd_do_request()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &info->pending_submit_list 1
DATA_SOURCE 0 info $0
PARAM_COMPARE 0 &info->pending_submit_list != $0->pending_submit_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &info->lock
TYPE_LOCK (struct xenhcd_info)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->error 0
PARAM_VALUE 0 info->pending_submit_list.next 4096-ptr_max
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 0 &info->pending_submit_list 1
CAPPED_DATA 1 urbp->urb->interval 1
CAPPED_DATA 1 urbp->urb->transfer_buffer_length 1
DATA_SOURCE 0 info $0
DATA_SOURCE 1 urbp $1
PARAM_COMPARE 0 &info->pending_submit_list == $0->pending_submit_list.next
PREEMPT_ADD
NO_OVERFLOW_SIMPLE 1 urbp->urb->num_mapped_sgs
LOCK2 flags
LOCK2 0 &info->lock
TYPE_LOCK (struct xenhcd_info)->lock

drivers/usb/host/xen-hcd.c xenhcd_unlink_urb() -> xenhcd_do_request()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->pending_unlink_list.next 4096-ptr_max
PARAM_VALUE 1 urbp 4096-ptr_max
PARAM_VALUE 1 urbp->req_id s32min-(-2),0-s32max
PARAM_VALUE 1 urbp->status (-108),(-104),(-2)
PARAM_VALUE 1 urbp->unlinked 1
BUF_SIZE 1 urbp 1-s32max
BUF_SIZE 1 urbp 1-s32max
CAPPED_DATA 0 &info->pending_unlink_list 1
DATA_SOURCE 0 info $0
DATA_SOURCE 1 urbp $1
PARAM_COMPARE 0 &info->pending_unlink_list == $0->pending_unlink_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &info->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct xenhcd_info)->lock