Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/meta/fbnic/fbnic_devlink.c fbnic_fw_reporter_dump() -> fbnic_fw_xmit_coredump_read_msg()

Type Parameter Key Value
PARAM_VALUE 0 fbd 4096-ptr_max
PARAM_VALUE 0 fbd->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 fbd->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 fbd->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 fbd->dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 fbd->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 fbd->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 fbd->fw_tx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fbd->uc_addr0 0
PARAM_VALUE 1 cmpl_data 0,4096-ptr_max
PARAM_VALUE 1 cmpl_data->done.done 0
PARAM_VALUE 1 cmpl_data->done.wait.lock.owner (-1)
PARAM_VALUE 1 cmpl_data->done.wait.lock.owner_cpu u32max
PARAM_VALUE 1 cmpl_data->done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 cmpl_data->msg_type 33
PARAM_VALUE 1 cmpl_data->ref_count.refcount.refs.counter 1
PARAM_VALUE 1 cmpl_data->u.coredump.size 1-u32max
PARAM_VALUE 1 cmpl_data->u.coredump.stride 3584
PARAM_VALUE 2 offset 0-4294965248
PARAM_VALUE 3 length 0-3584
BUF_SIZE 0 fbd s32min,4,24,40,64,168-s32max
BUF_SIZE 0 fbd s32min,4,24,40,64,168-s32max
BUF_SIZE 1 cmpl_data 0,120-s32max
BUF_SIZE 1 cmpl_data 0,120-s32max
CAPPED_DATA 2 offset 1
CAPPED_DATA 3 length 1
DATA_SOURCE 0 fbd r devlink_health_reporter_priv
RX_PATH
TASK_NOT_RUNNING
LOCK2 &devlink->lock