| PARAM_VALUE |
0 |
urb |
4096-ptr_max |
| PARAM_VALUE |
0 |
urb->actual_length |
0 |
| PARAM_VALUE |
0 |
urb->complete |
1-u64max |
| PARAM_VALUE |
0 |
urb->dev |
4096-ptr_max |
| PARAM_VALUE |
0 |
urb->dev->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
urb->dev->can_submit |
1 |
| PARAM_VALUE |
0 |
urb->dev->parent |
1-u64max |
| PARAM_VALUE |
0 |
urb->dev->portnum |
0-8 |
| PARAM_VALUE |
0 |
urb->dev->state |
4-u32max |
| PARAM_VALUE |
0 |
urb->ep |
4096-ptr_max |
| PARAM_VALUE |
0 |
urb->ep->enabled |
s32min-(-1),1-s32max |
| PARAM_VALUE |
0 |
urb->ep->urb_list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
urb->ep->urb_list.prev->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
urb->ep->urb_list.prev->next->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
urb->hcpriv |
0 |
| PARAM_VALUE |
0 |
urb->interval |
s32min-32768 |
| PARAM_VALUE |
0 |
urb->num_mapped_sgs |
0-s32max |
| PARAM_VALUE |
0 |
urb->reject.counter |
0 |
| PARAM_VALUE |
0 |
urb->setup_packet |
1-u64max |
| PARAM_VALUE |
0 |
urb->status |
(-115) |
| PARAM_VALUE |
0 |
urb->transfer_buffer_length |
0-s32max |
| PARAM_VALUE |
0 |
urb->unlinked |
0 |
| PARAM_VALUE |
0 |
urb->urb_list.next |
4096-ptr_max |
| PARAM_VALUE |
1 |
vdev |
4096-ptr_max |
| PARAM_VALUE |
1 |
vdev->ud.lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
vdev->ud.status |
0-3,5-6,8-u32max |
| CAPPED_DATA |
0 |
urb->interval |
1 |
| CAPPED_DATA |
0 |
urb->transfer_buffer_length |
1 |
| DATA_SOURCE |
0 |
urb |
$1 |
| FUZZY_MAX |
0 |
urb->dev->state |
7 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
&vhci->lock |
|
| LOCK2 |
|
flags |
|
| TYPE_LOCK |
|
(struct vhci)->lock |
|
