Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/idpf/idpf_virtchnl.c idpf_send_disable_queues_msg() -> idpf_wait_for_marker_event()

Type Parameter Key Value
PARAM_VALUE 0 vport 4096-ptr_max
PARAM_VALUE 0 vport->adapter->hw.asq->cq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vport->adapter->pdev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 vport->adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 vport->adapter->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 vport->adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 vport->adapter->ptp->secondary_mbx.peer_id 0-255
PARAM_VALUE 0 vport->adapter->vcxn_mngr 4096-ptr_max
PARAM_VALUE 0 vport->adapter->vcxn_mngr->xn_bm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vport->adapter->vport_config 4096-ptr_max
PARAM_VALUE 0 vport->netdev 4096-ptr_max
PARAM_VALUE 0 vport->vdev_info->adev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 vport->vdev_info->adev->dev.power.wakeirq->status 0-4294967295
CAPPED_DATA 0 vport->dflt_qv_rsrc.num_rxq_grp 1
CAPPED_DATA 0 vport->dflt_qv_rsrc.num_txq_grp 1
DATA_SOURCE 0 vport $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vport->num_txq
NO_OVERFLOW_SIMPLE 0 vport->num_xdp_txq
HALF_LOCKED2 global &rtnl_mutex