Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/intel/fm10k/fm10k_pci.c fm10k_mbx_mac_addr() -> fm10k_msg_mac_vlan_vf()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 results 2212832095731208192
PARAM_VALUE 1 *results 0,4096-ptr_max
PARAM_VALUE 2 mbx 4096-ptr_max
BUF_SIZE 1 results 256
BUF_SIZE 1 results 256
DATA_SOURCE 0 hw $0
DATA_SOURCE 1 results $1
DATA_SOURCE 2 mbx $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 hw->mac.default_vid 0-u16max[c]
HOST_DATA 0 hw->mac.itr_scale 0-255[c]
HOST_DATA 0 hw->mac.max_msix_vectors 0[c]
HOST_DATA 0 hw->mbx.max_size 0-u16max[c]
HOST_DATA 0 hw->mbx.pulled 0-u16max[c]
HOST_DATA 0 hw->mbx.rx.tail 0-u16max[c]
HOST_DATA 0 hw->mbx.tail 0-15
HOST_DATA 0 hw->mbx.tx.buffer 4096-ptr_max[c]
HOST_DATA 2 mbx->max_size 0-u16max[c]
HOST_DATA 2 mbx->mbx_hdr 0-u32max
HOST_DATA 2 mbx->pulled 0-u16max[c]
HOST_DATA 2 mbx->rx.buffer 4096-ptr_max[c]
HOST_DATA 2 mbx->rx.tail 0-u16max[c]
HOST_DATA 2 mbx->tail 0-15
HOST_DATA 2 mbx->tx.buffer 4096-ptr_max[c]
HALF_LOCKED2 &interface->mbx_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/fm10k/fm10k_tlv.c fm10k_tlv_msg_parse() -> (struct fm10k_msg_data)->func()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->hw_addr 0,4096-ptr_max
PARAM_VALUE 1 results 2212832095731208192
PARAM_VALUE 1 *results 0,4096-ptr_max
PARAM_VALUE 2 mbx 4096-ptr_max
PARAM_VALUE 2 mbx->mbx_lock 4
PARAM_VALUE 2 mbx->state 2-u32max
BUF_SIZE 1 results 256
DATA_SOURCE 0 hw $0
DATA_SOURCE 2 mbx $2
FUZZY_MAX 2 mbx->state 2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 hw->mac.default_vid 0-u16max[c]
HOST_DATA 0 hw->mac.itr_scale 0-255[c]
HOST_DATA 0 hw->mac.max_msix_vectors 0[c]
HOST_DATA 0 hw->mbx.max_size 0-u16max[c]
HOST_DATA 0 hw->mbx.pulled 0-u16max[c]
HOST_DATA 0 hw->mbx.rx.tail 0-u16max[c]
HOST_DATA 0 hw->mbx.tail 0-15
HOST_DATA 0 hw->mbx.tx.buffer 4096-ptr_max[c]
HOST_DATA 2 mbx->max_size 0-u16max[c]
HOST_DATA 2 mbx->mbx_hdr 0-u32max
HOST_DATA 2 mbx->pulled 0-u16max[c]
HOST_DATA 2 mbx->rx.buffer 4096-ptr_max[c]
HOST_DATA 2 mbx->rx.tail 0-u16max[c]
HOST_DATA 2 mbx->tail 0-15
HOST_DATA 2 mbx->tx.buffer 4096-ptr_max[c]
HALF_LOCKED2 &interface->mbx_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 rcu_read