Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/efx_devlink.c efx_devlink_info_running_versions() -> efx_devlink_info_running_v3()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->mc_bist_for_other_fn 0
PARAM_VALUE 0 efx->mcdi->iface.logging_buffer 0,4096-ptr_max
PARAM_VALUE 0 efx->mcdi->iface.resp_data_len 0-u32max
PARAM_VALUE 0 efx->mcdi->iface.resp_hdr_len 0,4,8
PARAM_VALUE 0 efx->reset_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 0 *efx->nic_data->mcdi_buf.addr 0-255
PARAM_VALUE 1 req 2277721189515522048,5536128543181787136,6243774656699338752
PARAM_VALUE 1 req->version_cb 0,4654809424086913024
PARAM_VALUE 1 req->version_cb_priv 0,5638756199125663744
PARAM_VALUE 3 outbuf 6059114346228617216
BUF_SIZE 3 outbuf 424
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 req $1
HARD_MAX 1 req->version_cb 4654809424086913024
HARD_MAX 1 req->version_cb_priv 5638756199125663744
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devlink->lock