Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/usb4.c usb4_switch_credits_init() -> usb4_switch_op_data()

Type Parameter Key Value
PARAM_VALUE 0 sw 4096-ptr_max
PARAM_VALUE 0 sw->config.enabled 1
PARAM_VALUE 1 opcode 51
PARAM_VALUE 2 metadata 1267049393841803264
PARAM_VALUE 2 *metadata 0
PARAM_VALUE 3 status 4048150608149348352
PARAM_VALUE 3 *status 0
PARAM_VALUE 4 tx_data 0
PARAM_VALUE 5 tx_dwords 0
PARAM_VALUE 6 rx_data 6912777465249689600
PARAM_VALUE 7 rx_dwords 16
BUF_SIZE 6 rx_data 64
DATA_SOURCE 0 sw $0
UNITS 7 rx_dwords unit_array_size

drivers/thunderbolt/usb4.c usb4_switch_drom_read_block() -> usb4_switch_op_data()

Type Parameter Key Value
PARAM_VALUE 1 opcode 36
PARAM_VALUE 2 metadata 8884698522537979904
PARAM_VALUE 2 *metadata 0-1048575
PARAM_VALUE 3 status 4570751772452679680
PARAM_VALUE 3 *status 0
PARAM_VALUE 4 tx_data 0
PARAM_VALUE 5 tx_dwords 0
PARAM_VALUE 6 rx_data 9053261570843287552
PARAM_VALUE 7 rx_dwords 0-16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 6 rx_data 64
BUF_SIZE 6 rx_data 64
CAPPED_DATA 7 rx_dwords 1
CAPPED_DATA 7 rx_dwords 1
DATA_SOURCE 0 sw $0
DATA_SOURCE 6 rx_data $2
DATA_SOURCE 7 rx_dwords $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *metadata 0-1048575[c]
USER_DATA 7 rx_dwords 0-16[c]
USER_PTR 2 metadata

drivers/thunderbolt/usb4.c usb4_switch_nvm_read_block() -> usb4_switch_op_data()

Type Parameter Key Value
PARAM_VALUE 1 opcode 34
PARAM_VALUE 2 metadata 4364295179374190592
PARAM_VALUE 2 *metadata 0-268435455
PARAM_VALUE 3 status 861304161158574080
PARAM_VALUE 3 *status 0
PARAM_VALUE 4 tx_data 0
PARAM_VALUE 5 tx_dwords 0
PARAM_VALUE 6 rx_data 9053261570843287552
PARAM_VALUE 7 rx_dwords 0-16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 6 rx_data 64
BUF_SIZE 6 rx_data 64
CAPPED_DATA 7 rx_dwords 1
CAPPED_DATA 7 rx_dwords 1
DATA_SOURCE 0 sw $0
DATA_SOURCE 6 rx_data $2
DATA_SOURCE 7 rx_dwords $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *metadata 0-268435455[c]
USER_DATA 7 rx_dwords 0-16[c]
USER_PTR 2 metadata

drivers/thunderbolt/usb4.c usb4_switch_nvm_write_next_block() -> usb4_switch_op_data()

Type Parameter Key Value
PARAM_VALUE 1 opcode 32
PARAM_VALUE 2 metadata 0
PARAM_VALUE 3 status 1870065083185020928
PARAM_VALUE 4 tx_data 2839573137693999104
PARAM_VALUE 5 tx_dwords 0-16
PARAM_VALUE 6 rx_data 0
PARAM_VALUE 7 rx_dwords 0
BUF_SIZE 0 sw (-1),16
BUF_SIZE 0 sw (-1),16
BUF_SIZE 4 tx_data 64
BUF_SIZE 4 tx_data 64
CAPPED_DATA 5 tx_dwords 1
CAPPED_DATA 5 tx_dwords 1
DATA_SOURCE 0 sw $0
DATA_SOURCE 4 tx_data $2
DATA_SOURCE 5 tx_dwords $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rt->tb->lock
HALF_LOCKED2 &sw->tb->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct tb)->lock