Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xhci-mem.c xhci_ring_expansion() -> xhci_update_stream_segment_mapping()

Type Parameter Key Value
PARAM_VALUE 1 ring 4096-ptr_max
PARAM_VALUE 1 ring->enq_seg 4096-ptr_max
PARAM_VALUE 1 ring->enqueue 4096-ptr_max
PARAM_VALUE 1 ring->type 4
PARAM_VALUE 2 first_seg 4096-ptr_max
PARAM_VALUE 3 mem_flags 2080
CAPPED_DATA 1 ring 1
CAPPED_DATA 1 ring->deq_seg 1
CAPPED_DATA 2 first_seg 1
DATA_SOURCE 1 ring $1
DATA_SOURCE 3 mem_flags $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &xhci->lock
HALF_LOCKED2 &xhci->mutex
HALF_LOCKED2 flags

drivers/usb/host/xhci-mem.c xhci_update_stream_mapping() -> xhci_update_stream_segment_mapping()

Type Parameter Key Value
PARAM_VALUE 0 trb_address_map 4096-ptr_max
PARAM_VALUE 0 trb_address_map->xa_flags 2080
PARAM_VALUE 0 trb_address_map->xa_head 0
PARAM_VALUE 1 ring 4096-ptr_max
PARAM_VALUE 1 ring->cycle_state 1
PARAM_VALUE 1 ring->deq_seg 4096-ptr_max
PARAM_VALUE 1 ring->enq_seg 4096-ptr_max
PARAM_VALUE 1 ring->first_seg 4096-ptr_max
PARAM_VALUE 1 ring->stream_id 1-4294967293
PARAM_VALUE 1 ring->trb_address_map 4096-ptr_max
PARAM_VALUE 1 ring->trb_address_map->xa_flags 2080
PARAM_VALUE 1 ring->trb_address_map->xa_head 0
PARAM_VALUE 2 first_seg 4096-ptr_max
PARAM_VALUE 3 mem_flags 3072,3264
BUF_SIZE 0 trb_address_map 88
BUF_SIZE 1 ring->trb_address_map 88
CAPPED_DATA 1 ring->stream_id 1
DATA_SOURCE 1 ring $0
DATA_SOURCE 3 mem_flags $1
HARD_MAX 3 mem_flags 3264
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex