Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/host/xhci-mem.c xhci_free_virt_device() -> xhci_update_tt_active_eps()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 1 virt_dev 4096-ptr_max
PARAM_VALUE 1 virt_dev->tt_info 0,4096-ptr_max
BUF_SIZE 0 xhci->dcbaa (-1),2056
BUF_SIZE 0 xhci->dcbaa.ctx_array (-1),8-2048
BUF_SIZE 0 xhci->device_pool (-1),4,24,64,168-s32max
BUF_SIZE 0 xhci->devs (-1),8
BUF_SIZE 0 xhci->interrupters (-1),8
BUF_SIZE 0 xhci->medium_streams_pool (-1),4,24,64,168-s32max
BUF_SIZE 0 xhci->port_bw_pool (-1),4,24,64,168-s32max
BUF_SIZE 0 xhci->segment_pool (-1),4,24,64,168-s32max
BUF_SIZE 0 xhci->small_streams_pool (-1),4,24,64,168-s32max
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 virt_dev $1
STR_LEN 0 xhci->main_hcd->product_desc (-1),12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 xhci->allow_single_roothub 0-1
HOST_DATA 0 xhci->broken_suspend 0-1
HOST_DATA 0 xhci->cmd_ring_reserved_trbs 0-u32max
HOST_DATA 0 xhci->cmd_ring_stop_completion.wait.lock.magic 0-u32max
HOST_DATA 0 xhci->cmd_ring_stop_completion.wait.lock.owner_cpu 0-u32max
HOST_DATA 0 xhci->cmd_ring_stop_completion.wait.lock.raw_lock.locked 0-255
HOST_DATA 0 xhci->cmd_ring_stop_completion.wait.lock.raw_lock.locked_pending 0-u16max
HOST_DATA 0 xhci->cmd_ring_stop_completion.wait.lock.raw_lock.pending 0-255
HOST_DATA 0 xhci->cmd_ring_stop_completion.wait.lock.raw_lock.tail 0-u16max
HOST_DATA 0 xhci->cmd_ring_stop_completion.wait.lock.raw_lock.val.counter s32min-s32max
HOST_DATA 0 xhci->cmd_timer.cpu s32min-s32max
HOST_DATA 0 xhci->cmd_timer.timer.expires 0-u64max
HOST_DATA 0 xhci->cmd_timer.timer.flags 0-u32max
HOST_DATA 0 xhci->cmd_timer.work.data.counter s64min-s64max
HOST_DATA 0 xhci->comp_mode_recovery_timer.expires 0-u64max
HOST_DATA 0 xhci->comp_mode_recovery_timer.flags 0-u32max
HOST_DATA 0 xhci->dcbaa.dma 0-u64max
HOST_DATA 0 xhci->hcc_params 0-u32max
HOST_DATA 0 xhci->hcc_params2 0-u32max
HOST_DATA 0 xhci->hci_version 0-148,150-u16max
HOST_DATA 0 xhci->hcs_params2 0-u32max
HOST_DATA 0 xhci->hcs_params3 0-u32max
HOST_DATA 0 xhci->hw_lpm_support 0-1
HOST_DATA 0 xhci->imod_interval 0-u32max
HOST_DATA 0 xhci->limit_active_eps 0-u32max
HOST_DATA 0 xhci->max_interrupters 0-2047[c]
HOST_DATA 0 xhci->max_ports 0-126[c]
HOST_DATA 0 xhci->max_slots 0-255
HOST_DATA 0 xhci->num_active_eps 0-u32max
HOST_DATA 0 xhci->num_port_caps 0-u32max
HOST_DATA 0 xhci->nvecs s32min-s32max
HOST_DATA 0 xhci->page_size 0,4096-268431360[c]
HOST_DATA 0 xhci->port_status_u0 0-u32max
HOST_DATA 0 xhci->quirks 0-u64max
HOST_DATA 0 xhci->run_graceperiod 0-u64max
HOST_DATA 0 xhci->s3.command 0-u32max
HOST_DATA 0 xhci->s3.config_reg 0-u32max
HOST_DATA 0 xhci->s3.dcbaa_ptr 0-u64max
HOST_DATA 0 xhci->s3.dev_nt 0-u32max
HOST_DATA 0 xhci->test_mode 0-u16max
HOST_DATA 0 xhci->usb2_rhub.bus_state.bus_suspended 0-u64max
HOST_DATA 0 xhci->usb2_rhub.bus_state.next_statechange 0-u64max
HOST_DATA 0 xhci->usb2_rhub.bus_state.port_c_suspend 0-u32max
HOST_DATA 0 xhci->usb2_rhub.bus_state.port_remote_wakeup 0-u32max
HOST_DATA 0 xhci->usb2_rhub.bus_state.resuming_ports 0-u64max
HOST_DATA 0 xhci->usb2_rhub.bus_state.suspended_ports 0-u32max
HOST_DATA 0 xhci->usb2_rhub.maj_rev 0-255
HOST_DATA 0 xhci->usb2_rhub.min_rev 0-255
HOST_DATA 0 xhci->usb2_rhub.num_ports 0-u32max
HOST_DATA 0 xhci->usb3_rhub.bus_state.bus_suspended 0-u64max
HOST_DATA 0 xhci->usb3_rhub.bus_state.next_statechange 0-u64max
HOST_DATA 0 xhci->usb3_rhub.bus_state.port_c_suspend 0-u32max
HOST_DATA 0 xhci->usb3_rhub.bus_state.port_remote_wakeup 0-u32max
HOST_DATA 0 xhci->usb3_rhub.bus_state.resuming_ports 0-u64max
HOST_DATA 0 xhci->usb3_rhub.bus_state.suspended_ports 0-u32max
HOST_DATA 0 xhci->usb3_rhub.maj_rev 0-255
HOST_DATA 0 xhci->usb3_rhub.min_rev 0-255
HOST_DATA 0 xhci->usb3_rhub.num_ports 0-u32max
HOST_DATA 0 xhci->xhc_state 0-u32max
NO_OVERFLOW_SIMPLE 0 xhci->clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ctx
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ctx->bytes
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ctx->dma
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ctx->size
NO_OVERFLOW_SIMPLE 0 xhci->dbc->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 xhci->dbc->erst.entries
NO_OVERFLOW_SIMPLE 0 xhci->dbc->erst.erst_dma_addr
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_evt
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_evt->first_seg
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_evt->first_seg->dma
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_evt->first_seg->trbs
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_in
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_in->first_seg
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_in->first_seg->dma
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_in->first_seg->trbs
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_out
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_out->first_seg
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_out->first_seg->dma
NO_OVERFLOW_SIMPLE 0 xhci->dbc->ring_out->first_seg->trbs
NO_OVERFLOW_SIMPLE 0 xhci->dbc->str_descs
NO_OVERFLOW_SIMPLE 0 xhci->dbc->str_descs_dma
NO_OVERFLOW_SIMPLE 0 xhci->dbc->str_descs_size
NO_OVERFLOW_SIMPLE 0 xhci->dcbaa->dma
NO_OVERFLOW_SIMPLE 0 xhci->max_interrupters
NO_OVERFLOW_SIMPLE 0 xhci->max_ports
NO_OVERFLOW_SIMPLE 0 xhci->page_size
NO_OVERFLOW_SIMPLE 0 xhci->reg_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xhci->scratchpad->sp_dma
NO_OVERFLOW_SIMPLE 0 xhci->segment_pool->allocation
NO_OVERFLOW_SIMPLE 0 xhci->segment_pool->dev->cma_area->available_count
HALF_LOCKED2 flags
HALF_LOCKED2 0 &xhci->lock
HALF_LOCKED2 0 &xhci->mutex

drivers/usb/host/xhci.c xhci_discover_or_reset_device() -> xhci_update_tt_active_eps()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 1 virt_dev 4096-ptr_max
PARAM_VALUE 1 virt_dev->tt_info 0,4096-ptr_max
CAPPED_DATA 0 xhci->cmd_ring 1
CAPPED_DATA 1 virt_dev->udev 1
DATA_SOURCE 0 xhci r hcd_to_xhci
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &hdev->dev.mutex
HALF_LOCKED2 &port_dev->status_lock

drivers/usb/host/xhci.c xhci_reserve_bandwidth() -> xhci_update_tt_active_eps()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 1 virt_dev 4096-ptr_max
PARAM_VALUE 1 virt_dev->tt_info 0,4096-ptr_max
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 virt_dev $1
BIT_INFO 0 xhci->quirks 0x100,0xffffffffffffffff
BIT_INFO 0 xhci->xhc_state 0x0,0xfffffffe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &xhci->lock
HALF_LOCKED2 hcd->bandwidth_mutex
TYPE_LOCK (struct xhci_hcd)->lock