Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/host/xhci.c xhci_alloc_streams() -> xhci_setup_input_ctx_for_config_ep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 1 | in_ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | in_ctx->bytes | 4096-ptr_max |
| PARAM_VALUE | 1 | in_ctx->type | 2 |
| PARAM_VALUE | 2 | out_ctx | 4096-ptr_max |
| PARAM_VALUE | 3 | ctrl_ctx | 1-u64max |
| BUF_SIZE | 3 | ctrl_ctx | 192 |
| BUF_SIZE | 3 | ctrl_ctx | 192 |
| CAPPED_DATA | 0 | xhci->device_pool->size | 1 |
| DATA_SOURCE | 0 | xhci | r hcd_to_xhci |
| DATA_SOURCE | 3 | ctrl_ctx | r xhci_get_input_control_ctx |
| PARAM_COMPARE | 1 | in_ctx->bytes | == $3 |
| PARAM_COMPARE | 3 | ctrl_ctx | == $1->bytes |
| BIT_INFO | 0 | xhci->quirks | 0x0,0xfffffffffff7ffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->dev.mutex |
drivers/usb/host/xhci.c xhci_endpoint_reset() -> xhci_setup_input_ctx_for_config_ep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 1 | in_ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | in_ctx->bytes | 4096-ptr_max |
| PARAM_VALUE | 1 | in_ctx->type | 2 |
| PARAM_VALUE | 3 | ctrl_ctx | 1-u64max |
| PARAM_VALUE | 4 | add_flags | 0,3-u32max |
| PARAM_VALUE | 5 | drop_flags | 0,3-u32max |
| BUF_SIZE | 3 | ctrl_ctx | 192 |
| BUF_SIZE | 3 | ctrl_ctx | 192 |
| CAPPED_DATA | 0 | xhci->cmd_ring | 1 |
| CAPPED_DATA | 0 | xhci->device_pool->size | 1 |
| DATA_SOURCE | 0 | xhci | r hcd_to_xhci |
| DATA_SOURCE | 3 | ctrl_ctx | r xhci_get_input_control_ctx |
| DATA_SOURCE | 4 | add_flags | r xhci_get_endpoint_flag |
| DATA_SOURCE | 5 | drop_flags | r xhci_get_endpoint_flag |
| PARAM_COMPARE | 1 | in_ctx->bytes | == $3 |
| PARAM_COMPARE | 3 | ctrl_ctx | == $1->bytes |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| HALF_LOCKED2 | &udev->dev.mutex | ||
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci.c xhci_free_streams() -> xhci_setup_input_ctx_for_config_ep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 1 | in_ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | in_ctx->type | 2 |
| PARAM_VALUE | 2 | out_ctx | 4096-ptr_max |
| PARAM_VALUE | 3 | ctrl_ctx | 1-u64max |
| PARAM_VALUE | 4 | add_flags | 1-u32max |
| PARAM_VALUE | 5 | drop_flags | 1-u32max |
| BUF_SIZE | 3 | ctrl_ctx | 192 |
| BUF_SIZE | 3 | ctrl_ctx | 192 |
| DATA_SOURCE | 0 | xhci | r hcd_to_xhci |
| DATA_SOURCE | 3 | ctrl_ctx | r xhci_get_input_control_ctx |
| DATA_SOURCE | 4 | add_flags | r xhci_calculate_no_streams_bitmask |
| DATA_SOURCE | 5 | drop_flags | r xhci_calculate_no_streams_bitmask |
| PARAM_COMPARE | 1 | in_ctx->bytes | == $3 |
| PARAM_COMPARE | 3 | ctrl_ctx | == $1->bytes |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| HALF_LOCKED2 | &dev->dev.mutex | ||
| TYPE_LOCK | (struct xhci_hcd)->lock |