Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/qlogic/qed/qed_main.c qed_periodic_db_rec_start() -> qed_slowpath_delayed_work()

Type Parameter Key Value
PARAM_VALUE 0 hwfn 4096-ptr_max
PARAM_VALUE 0 hwfn->cdev 4096-ptr_max
PARAM_VALUE 0 hwfn->cdev->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 hwfn->cdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 hwfn->cdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 hwfn->cdev->recov_in_prog 0
PARAM_VALUE 0 hwfn->db_recovery_info.dorq_attn 1
PARAM_VALUE 0 hwfn->p_cxt_mngr->conn_ctx_size 0-u16max
PARAM_VALUE 0 hwfn->p_dpc_ptt 4096-ptr_max
PARAM_VALUE 0 hwfn->p_dpc_ptt->pxp.offset 0-1073741823
PARAM_VALUE 0 hwfn->p_sb_attn 4096-ptr_max
PARAM_VALUE 0 hwfn->p_sp_sb 1-u64max
PARAM_VALUE 0 hwfn->p_sp_sb->sb_info.sb_ack 0-16777215
PARAM_VALUE 0 hwfn->periodic_db_rec_count 10
PARAM_VALUE 1 wq_flag 1
PARAM_VALUE 2 delay 0-536870912
DATA_SOURCE 0 hwfn $0
STR_LEN 0 hwfn (-1),29
STR_LEN 0 hwfn (-1),29
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hwfn->mcp_info->drv_mb_seq 0-u16max
HOST_DATA 0 hwfn->mcp_info->drv_pulse_seq 0-s16max
HOST_DATA 0 hwfn->mcp_info->mcp_hist 0-u32max
HALF_LOCKED2 bh

drivers/net/ethernet/qlogic/qed/qed_main.c qed_slowpath_task() -> qed_slowpath_delayed_work()

Type Parameter Key Value
PARAM_VALUE 0 hwfn 4096-ptr_max
PARAM_VALUE 0 hwfn->cdev 4096-ptr_max
PARAM_VALUE 0 hwfn->cdev->recov_in_prog 0
PARAM_VALUE 0 hwfn->p_ptt_pool 4096-ptr_max
PARAM_VALUE 0 hwfn->p_ptt_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hwfn->slowpath_wq_active 1
PARAM_VALUE 1 wq_flag 1
PARAM_VALUE 2 delay 0-536870912
PARAM_COMPARE 0 &hwfn->p_ptt_pool->free_list != $0->p_ptt_pool->free_list.next
NOCHECK_CALL
HOST_DATA 0 hwfn->mcp_info->drv_mb_seq 0-u16max
HOST_DATA 0 hwfn->mcp_info->drv_pulse_seq 0-s16max
HOST_DATA 0 hwfn->mcp_info->mcp_hist 0-u32max
HALF_LOCKED2 &pool->lock