Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/ohci-hcd.c td_submit_urb() -> td_fill()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->ed_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->ed_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->ed_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->ed_cache->size 0-4294967295
PARAM_VALUE 0 ohci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->pending.next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->prev 4096-ptr_max
PARAM_VALUE 0 ohci->rh_state 2
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->td_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->td_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->td_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->td_cache->size 0-4294967295
PARAM_VALUE 1 info 4027056128,4027318272,4027580416,4027842560
PARAM_VALUE 3 len s32min-4096
PARAM_VALUE 4 urb 4096-ptr_max
PARAM_VALUE 4 urb->actual_length 0
PARAM_VALUE 4 urb->complete 1-u64max
PARAM_VALUE 4 urb->dev 4096-ptr_max
PARAM_VALUE 4 urb->dev->bus 4096-ptr_max
PARAM_VALUE 4 urb->dev->can_submit 1
PARAM_VALUE 4 urb->dev->parent 1-u64max
PARAM_VALUE 4 urb->dev->state 4-u32max
PARAM_VALUE 4 urb->ep 4096-ptr_max
PARAM_VALUE 4 urb->ep->enabled s32min-(-1),1-s32max
PARAM_VALUE 4 urb->ep->hcpriv 1-u64max
PARAM_VALUE 4 urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv 4096-ptr_max
PARAM_VALUE 4 urb->interval s32min-32768
PARAM_VALUE 4 urb->num_mapped_sgs 0-s32max
PARAM_VALUE 4 urb->reject.counter 0
PARAM_VALUE 4 urb->setup_packet 1-u64max
PARAM_VALUE 4 urb->status (-115)
PARAM_VALUE 4 urb->transfer_buffer_length 0-s32max
PARAM_VALUE 4 urb->unlinked 0
PARAM_VALUE 4 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 5 index 0-s32max
CAPPED_DATA 0 ohci->ed_cache->size 1
CAPPED_DATA 0 ohci->td_cache->size 1
CAPPED_DATA 3 len 1
CAPPED_DATA 4 urb->interval 1
CAPPED_DATA 4 urb->transfer_buffer_length 1
DATA_SOURCE 0 ohci $0
DATA_SOURCE 4 urb $1
FUZZY_MAX 1 info 4027580416
FUZZY_MAX 4 urb->dev->state 7
FUZZY_MAX 5 index 0
BIT_INFO 1 info 0xf0000000,0xffffffff
PREEMPT_ADD
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 urb->num_mapped_sgs
UNITS 2 data unit_byte
UNITS 3 len unit_byte
LOCK2 flags
LOCK2 0 &ohci->lock
TYPE_LOCK (struct ohci_hcd)->lock

drivers/usb/host/ohci-hcd.c td_submit_urb() -> td_fill()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->ed_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->ed_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->ed_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->ed_cache->size 0-4294967295
PARAM_VALUE 0 ohci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->pending.next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->prev 4096-ptr_max
PARAM_VALUE 0 ohci->rh_state 2
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->td_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->td_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->td_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->td_cache->size 0-4294967295
PARAM_VALUE 1 info 4027056128,4027318272,4027580416,4027842560
PARAM_VALUE 2 data 0
PARAM_VALUE 3 len 0
PARAM_VALUE 4 urb 4096-ptr_max
PARAM_VALUE 4 urb->actual_length 0
PARAM_VALUE 4 urb->complete 1-u64max
PARAM_VALUE 4 urb->dev 4096-ptr_max
PARAM_VALUE 4 urb->dev->bus 4096-ptr_max
PARAM_VALUE 4 urb->dev->can_submit 1
PARAM_VALUE 4 urb->dev->parent 1-u64max
PARAM_VALUE 4 urb->dev->state 4-u32max
PARAM_VALUE 4 urb->ep 4096-ptr_max
PARAM_VALUE 4 urb->ep->enabled s32min-(-1),1-s32max
PARAM_VALUE 4 urb->ep->hcpriv 1-u64max
PARAM_VALUE 4 urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv->ed 4096-ptr_max
PARAM_VALUE 4 urb->interval s32min-32768
PARAM_VALUE 4 urb->num_mapped_sgs 0-s32max
PARAM_VALUE 4 urb->reject.counter 0
PARAM_VALUE 4 urb->setup_packet 1-u64max
PARAM_VALUE 4 urb->status (-115)
PARAM_VALUE 4 urb->transfer_buffer_length 0-s32max
PARAM_VALUE 4 urb->transfer_flags 64-u32max
PARAM_VALUE 4 urb->unlinked 0
PARAM_VALUE 4 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 5 index 1-65534
CAPPED_DATA 0 ohci->ed_cache->size 1
CAPPED_DATA 0 ohci->td_cache->size 1
CAPPED_DATA 4 urb->interval 1
CAPPED_DATA 4 urb->transfer_buffer_length 1
CAPPED_DATA 5 index 1
DATA_SOURCE 0 ohci $0
DATA_SOURCE 4 urb $1
FUZZY_MAX 1 info 4027580416
FUZZY_MAX 4 urb->dev->state 7
CONSTRAINT 5 index <3317
BIT_INFO 1 info 0xf0000000,0xffffffff
BIT_INFO 4 urb->transfer_flags 0x40,0xffffffff
PREEMPT_ADD
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 urb->num_mapped_sgs
UNITS 5 index unit_array_size
LOCK2 flags
LOCK2 0 &ohci->lock
TYPE_LOCK (struct ohci_hcd)->lock

drivers/usb/host/ohci-hcd.c td_submit_urb() -> td_fill()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->ed_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->ed_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->ed_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->ed_cache->size 0-4294967295
PARAM_VALUE 0 ohci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->pending.next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->prev 4096-ptr_max
PARAM_VALUE 0 ohci->rh_state 2
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->td_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->td_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->td_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->td_cache->size 0-4294967295
PARAM_VALUE 1 info 4060086272
PARAM_VALUE 3 len 8
PARAM_VALUE 4 urb 4096-ptr_max
PARAM_VALUE 4 urb->actual_length 0
PARAM_VALUE 4 urb->complete 1-u64max
PARAM_VALUE 4 urb->dev 4096-ptr_max
PARAM_VALUE 4 urb->dev->bus 4096-ptr_max
PARAM_VALUE 4 urb->dev->can_submit 1
PARAM_VALUE 4 urb->dev->parent 1-u64max
PARAM_VALUE 4 urb->dev->state 4-u32max
PARAM_VALUE 4 urb->ep 4096-ptr_max
PARAM_VALUE 4 urb->ep->enabled s32min-(-1),1-s32max
PARAM_VALUE 4 urb->ep->hcpriv 1-u64max
PARAM_VALUE 4 urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv 4096-ptr_max
PARAM_VALUE 4 urb->interval s32min-32768
PARAM_VALUE 4 urb->num_mapped_sgs 0-s32max
PARAM_VALUE 4 urb->reject.counter 0
PARAM_VALUE 4 urb->setup_packet 1-u64max
PARAM_VALUE 4 urb->status (-115)
PARAM_VALUE 4 urb->transfer_buffer_length 0-s32max
PARAM_VALUE 4 urb->unlinked 0
PARAM_VALUE 4 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 5 index 0
CAPPED_DATA 0 ohci->ed_cache->size 1
CAPPED_DATA 0 ohci->td_cache->size 1
CAPPED_DATA 4 urb->interval 1
CAPPED_DATA 4 urb->transfer_buffer_length 1
DATA_SOURCE 0 ohci $0
DATA_SOURCE 4 urb $1
FUZZY_MAX 4 urb->dev->state 7
PREEMPT_ADD
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 urb->num_mapped_sgs
LOCK2 flags
LOCK2 0 &ohci->lock
TYPE_LOCK (struct ohci_hcd)->lock

drivers/usb/host/ohci-hcd.c td_submit_urb() -> td_fill()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->ed_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->ed_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->ed_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->ed_cache->size 0-4294967295
PARAM_VALUE 0 ohci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->pending.next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->prev 4096-ptr_max
PARAM_VALUE 0 ohci->rh_state 2
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->td_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->td_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->td_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->td_cache->size 0-4294967295
PARAM_VALUE 1 info 4077649920,4078174208
PARAM_VALUE 3 len 1-s32max
PARAM_VALUE 4 urb 4096-ptr_max
PARAM_VALUE 4 urb->actual_length 0
PARAM_VALUE 4 urb->complete 1-u64max
PARAM_VALUE 4 urb->dev 4096-ptr_max
PARAM_VALUE 4 urb->dev->bus 4096-ptr_max
PARAM_VALUE 4 urb->dev->can_submit 1
PARAM_VALUE 4 urb->dev->parent 1-u64max
PARAM_VALUE 4 urb->dev->state 4-u32max
PARAM_VALUE 4 urb->ep 4096-ptr_max
PARAM_VALUE 4 urb->ep->enabled s32min-(-1),1-s32max
PARAM_VALUE 4 urb->ep->hcpriv 1-u64max
PARAM_VALUE 4 urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv->ed 4096-ptr_max
PARAM_VALUE 4 urb->interval s32min-32768
PARAM_VALUE 4 urb->num_mapped_sgs 0-s32max
PARAM_VALUE 4 urb->reject.counter 0
PARAM_VALUE 4 urb->setup_packet 1-u64max
PARAM_VALUE 4 urb->status (-115)
PARAM_VALUE 4 urb->transfer_buffer_length 1-s32max
PARAM_VALUE 4 urb->unlinked 0
PARAM_VALUE 4 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 5 index 1
CAPPED_DATA 0 ohci->ed_cache->size 1
CAPPED_DATA 0 ohci->td_cache->size 1
CAPPED_DATA 3 len 1
CAPPED_DATA 4 urb->interval 1
CAPPED_DATA 4 urb->transfer_buffer_length 1
DATA_SOURCE 0 ohci $0
DATA_SOURCE 4 urb $1
FUZZY_MAX 4 urb->dev->state 7
BIT_INFO 1 info 0xf3040000,0xf31fffff
PREEMPT_ADD
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 urb->num_mapped_sgs
UNITS 2 data unit_byte
UNITS 3 len unit_byte
LOCK2 flags
LOCK2 0 &ohci->lock
TYPE_LOCK (struct ohci_hcd)->lock

drivers/usb/host/ohci-hcd.c td_submit_urb() -> td_fill()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->ed_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->ed_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->ed_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->ed_cache->size 0-4294967295
PARAM_VALUE 0 ohci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->pending.next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->prev 4096-ptr_max
PARAM_VALUE 0 ohci->rh_state 2
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->td_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->td_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->td_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->td_cache->size 0-4294967295
PARAM_VALUE 1 info 4077387776,4077912064
PARAM_VALUE 3 len 0
PARAM_VALUE 4 urb 4096-ptr_max
PARAM_VALUE 4 urb->actual_length 0
PARAM_VALUE 4 urb->complete 1-u64max
PARAM_VALUE 4 urb->dev 4096-ptr_max
PARAM_VALUE 4 urb->dev->bus 4096-ptr_max
PARAM_VALUE 4 urb->dev->can_submit 1
PARAM_VALUE 4 urb->dev->parent 1-u64max
PARAM_VALUE 4 urb->dev->state 4-u32max
PARAM_VALUE 4 urb->ep 4096-ptr_max
PARAM_VALUE 4 urb->ep->enabled s32min-(-1),1-s32max
PARAM_VALUE 4 urb->ep->hcpriv 1-u64max
PARAM_VALUE 4 urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv->ed 4096-ptr_max
PARAM_VALUE 4 urb->interval s32min-32768
PARAM_VALUE 4 urb->num_mapped_sgs 0-s32max
PARAM_VALUE 4 urb->reject.counter 0
PARAM_VALUE 4 urb->setup_packet 1-u64max
PARAM_VALUE 4 urb->status (-115)
PARAM_VALUE 4 urb->transfer_buffer_length 0-s32max
PARAM_VALUE 4 urb->unlinked 0
PARAM_VALUE 4 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 5 index 1-2
CAPPED_DATA 0 ohci->ed_cache->size 1
CAPPED_DATA 0 ohci->td_cache->size 1
CAPPED_DATA 4 urb->interval 1
CAPPED_DATA 4 urb->transfer_buffer_length 1
DATA_SOURCE 0 ohci $0
DATA_SOURCE 4 urb $1
FUZZY_MAX 1 info 4077912064
FUZZY_MAX 4 urb->dev->state 7
BIT_INFO 1 info 0xf3000000,0xf3180000
HARD_MAX 1 info 4077912064
PREEMPT_ADD
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 urb->num_mapped_sgs
UNITS 2 data unit_byte
LOCK2 flags
LOCK2 0 &ohci->lock
TYPE_LOCK (struct ohci_hcd)->lock

drivers/usb/host/ohci-hcd.c td_submit_urb() -> td_fill()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->ed_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->ed_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->ed_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->ed_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->ed_cache->size 0-4294967295
PARAM_VALUE 0 ohci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->pending.next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->next 4096-ptr_max
PARAM_VALUE 0 ohci->pending.next->prev 4096-ptr_max
PARAM_VALUE 0 ohci->rh_state 2
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ohci->td_cache->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ohci->td_cache->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ohci->td_cache->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ohci->td_cache->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ohci->td_cache->size 0-4294967295
PARAM_VALUE 1 info 4026597376-4026662911
PARAM_VALUE 4 urb 4096-ptr_max
PARAM_VALUE 4 urb->actual_length 0
PARAM_VALUE 4 urb->complete 1-u64max
PARAM_VALUE 4 urb->dev 4096-ptr_max
PARAM_VALUE 4 urb->dev->bus 4096-ptr_max
PARAM_VALUE 4 urb->dev->can_submit 1
PARAM_VALUE 4 urb->dev->parent 1-u64max
PARAM_VALUE 4 urb->dev->state 4-u32max
PARAM_VALUE 4 urb->ep 4096-ptr_max
PARAM_VALUE 4 urb->ep->enabled s32min-(-1),1-s32max
PARAM_VALUE 4 urb->ep->hcpriv 1-u64max
PARAM_VALUE 4 urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 4 urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 4 urb->hcpriv 4096-ptr_max
PARAM_VALUE 4 urb->interval s32min-32768
PARAM_VALUE 4 urb->iso_frame_desc 4096-ptr_max
PARAM_VALUE 4 urb->num_mapped_sgs 0-s32max
PARAM_VALUE 4 urb->number_of_packets 1-s32max
PARAM_VALUE 4 urb->reject.counter 0
PARAM_VALUE 4 urb->setup_packet 1-u64max
PARAM_VALUE 4 urb->status (-115)
PARAM_VALUE 4 urb->transfer_buffer_length 0-s32max
PARAM_VALUE 4 urb->unlinked 0
PARAM_VALUE 4 urb->urb_list.next 4096-ptr_max
PARAM_VALUE 5 index 0-2147483646
CAPPED_DATA 0 ohci->ed_cache->size 1
CAPPED_DATA 0 ohci->td_cache->size 1
CAPPED_DATA 4 urb->interval 1
CAPPED_DATA 4 urb->transfer_buffer_length 1
CAPPED_DATA 5 index 1
DATA_SOURCE 0 ohci $0
DATA_SOURCE 4 urb $1
FUZZY_MAX 4 urb->dev->state 7
PARAM_COMPARE 5 index < $4->number_of_packets
BIT_INFO 1 info 0xf0010000,0xf001ffff
PREEMPT_ADD
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 urb->num_mapped_sgs
UNITS 2 data unit_byte
UNITS 3 len unit_byte
UNITS 5 index unit_array_size
LOCK2 flags
LOCK2 0 &ohci->lock
TYPE_LOCK (struct ohci_hcd)->lock