Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/usb4.c __usb4_switch_op() -> usb4_native_switch_op()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
PARAM_VALUE 0 sw->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sw->nvm->vops->validate 0,4969815085320704000,8746475639591444480
PARAM_VALUE 0 sw->nvm->vops->write_headers 0,8395314951524048896
PARAM_VALUE 0 sw->tb 4096-ptr_max
PARAM_VALUE 0 sw->tb->cm_ops 4096-ptr_max
PARAM_VALUE 0 sw->tb->cm_ops->usb4_switch_op 0,4621816072277250048
PARAM_VALUE 1 opcode 16-18,32-37,51
PARAM_VALUE 2 metadata 0,4096-ptr_max
PARAM_VALUE 3 status 0,4096-ptr_max
PARAM_VALUE 3 *status 0-63
PARAM_VALUE 4 tx_data 0,2839573137693999104
PARAM_VALUE 5 tx_dwords 0-16
PARAM_VALUE 6 rx_data 0,6912777465249689600,9053261570843287552
PARAM_VALUE 7 rx_dwords 0-16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 0 sw->dev.parent (-1),1616
BUF_SIZE 0 sw->tb (-1),2304,3616
BUF_SIZE 4 tx_data (-1),64
BUF_SIZE 4 tx_data (-1),64
BUF_SIZE 6 rx_data (-1),64
BUF_SIZE 6 rx_data (-1),64
CAPPED_DATA 5 tx_dwords 1
CAPPED_DATA 5 tx_dwords 1
CAPPED_DATA 7 rx_dwords 1
CAPPED_DATA 7 rx_dwords 1
DATA_SOURCE 0 sw $0
DATA_SOURCE 1 opcode $1
DATA_SOURCE 2 metadata $2
DATA_SOURCE 3 status $3
DATA_SOURCE 4 tx_data $4
DATA_SOURCE 5 tx_dwords $5
DATA_SOURCE 6 rx_data $6
DATA_SOURCE 7 rx_dwords $7
NOSPEC 7 rx_dwords
HARD_MAX 1 opcode 51
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *metadata 0-268435455[c]
USER_DATA 7 rx_dwords 0-16[c]
UNITS 7 rx_dwords unit_array_size
USER_PTR 2 metadata
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &sw->tb->lock