Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/qlogic/qed/qed_vf.c qed_vf_pf_tunnel_param_update() -> qed_vf_update_tunn_param()

Type Parameter Key Value
PARAM_VALUE 0 p_hwfn 4096-ptr_max
PARAM_VALUE 0 p_hwfn->cdev->pdev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 p_hwfn->cdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 p_hwfn->cdev->protocol_ops.eth->ports_update 4096-ptr_max
PARAM_VALUE 0 p_hwfn->vf_iov_info 4096-ptr_max
PARAM_VALUE 0 p_hwfn->vf_iov_info->offset->length 8,16,24,32,48,56,64,72,160,256,304
PARAM_VALUE 0 p_hwfn->vf_iov_info->pf2vf_reply->tunn_param_resp.hdr.status 1-255
PARAM_VALUE 0 p_hwfn->vf_iov_info->vf2pf_request 4096-ptr_max
PARAM_VALUE 1 p_tun 4096-ptr_max
PARAM_VALUE 2 p_resp 4096-ptr_max
PARAM_VALUE 2 p_resp->hdr.status 1-255
BUF_SIZE 1 p_tun 52
BUF_SIZE 2 p_resp 24
DATA_SOURCE 0 p_hwfn $0
PARAM_COMPARE 0 &p_hwfn->cdev->tunnel == $1
MEM_ZERO 0 p_hwfn->vf_iov_info->pf2vf_reply
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p_hwfn->mcp_info->drv_mb_seq 0-u16max
HOST_DATA 0 p_hwfn->mcp_info->drv_pulse_seq 0-s16max
HOST_DATA 0 p_hwfn->mcp_info->mcp_hist 0-u32max
LOCK2 0 &p_hwfn->vf_iov_info->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct qed_vf_iov)->mutex