Open Menu /

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/infiniband/hw/irdma/utils.c irdma_add_arp() -> irdma_manage_arp_cache()

Type Parameter Key Value
PARAM_VALUE 0 rf 4096-ptr_max
PARAM_VALUE 0 rf->arp_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rf->arp_table 4096-ptr_max
PARAM_VALUE 0 rf->arp_table_size 1-u32max
PARAM_VALUE 0 rf->next_arp_index 0-65
PARAM_VALUE 2 ip_addr 4096-ptr_max
PARAM_VALUE 4 action 2
BUF_SIZE 1 mac_addr 6
BUF_SIZE 2 ip_addr (-1),16
BUF_SIZE 2 ip_addr (-1),16
DATA_SOURCE 0 rf $0
DATA_SOURCE 2 ip_addr $1
DATA_SOURCE 3 ipv4 $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *ip_addr 0-u32max
UNITS 0 rf unit_byte
USER_PTR 2 ip_addr

drivers/infiniband/hw/irdma/utils.c irdma_add_arp() -> irdma_manage_arp_cache()

Type Parameter Key Value
PARAM_VALUE 0 rf 4096-ptr_max
PARAM_VALUE 0 rf->arp_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 ip_addr 4096-ptr_max
PARAM_VALUE 4 action 1
BUF_SIZE 1 mac_addr 6,32
BUF_SIZE 1 mac_addr 6,32
BUF_SIZE 2 ip_addr (-1),16
BUF_SIZE 2 ip_addr (-1),16
DATA_SOURCE 0 rf $0
DATA_SOURCE 1 mac_addr $3
DATA_SOURCE 2 ip_addr $1
DATA_SOURCE 3 ipv4 $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *ip_addr 0-u32max
UNITS 0 rf unit_byte
USER_PTR 2 ip_addr

drivers/infiniband/hw/irdma/utils.c irdma_add_ipv4_addr() -> irdma_manage_arp_cache()

Type Parameter Key Value
PARAM_VALUE 0 rf 4096-ptr_max
PARAM_VALUE 0 rf->cqp.sc_cqp.dev->hw->device->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rf->cqp_cmpl_wq->flags 0-4294967295
PARAM_VALUE 0 rf->cqp_cmpl_wq->flush_color s32min-s32max
PARAM_VALUE 0 rf->cqp_cmpl_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 rf->cqp_cmpl_wq->work_color s32min-s32max
PARAM_VALUE 0 rf->cqp_cmpl_wq->wq_dev 0-s64max
PARAM_VALUE 0 rf->hw.device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rf->iw_qvlist->num_vectors 1-s32max
PARAM_VALUE 0 rf->pble_rsrc->dev->hw->device->iommu->attach_deferred 0-1
PARAM_VALUE 0 rf->pble_rsrc->dev->hw->device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rf->pble_rsrc->pinfo.pble_shift 6
PARAM_VALUE 0 rf->rdma_ver 1-2
PARAM_VALUE 0 rf->sc_dev.cqp->dev->hw->device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rf->sc_dev.hw->device->iommu->attach_deferred 0-1
PARAM_VALUE 0 rf->sc_dev.hw->device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 *rf->iw_msixtbl->name 0-255
PARAM_VALUE 2 ip_addr 7719442479683977216
PARAM_VALUE 3 ipv4 1
PARAM_VALUE 4 action 1
BUF_SIZE 0 rf s32min-(-2),1-s32max
BUF_SIZE 0 rf s32min-(-2),1-s32max
BUF_SIZE 1 mac_addr 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *ip_addr 0-u32max
UNITS 0 rf unit_byte
USER_PTR 2 ip_addr
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/utils.c irdma_add_ipv6_addr() -> irdma_manage_arp_cache()

Type Parameter Key Value
PARAM_VALUE 0 rf 4096-ptr_max
PARAM_VALUE 0 rf->arp_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rf->cqp.cqp_avail_reqs.prev 4096-ptr_max
PARAM_VALUE 0 rf->cqp.cqp_avail_reqs.prev->next 4096-ptr_max
PARAM_VALUE 0 rf->cqp.req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rf->cqp.sc_cqp.dev->hw->device->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rf->cqp_cmpl_wq->flags 0-4294967295
PARAM_VALUE 0 rf->cqp_cmpl_wq->flush_color s32min-s32max
PARAM_VALUE 0 rf->cqp_cmpl_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 rf->cqp_cmpl_wq->work_color s32min-s32max
PARAM_VALUE 0 rf->cqp_cmpl_wq->wq_dev 0-s64max
PARAM_VALUE 0 rf->hw.device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rf->iw_qvlist->num_vectors 1-s32max
PARAM_VALUE 0 rf->pble_rsrc->dev->hw->device->iommu->attach_deferred 0-1
PARAM_VALUE 0 rf->pble_rsrc->dev->hw->device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rf->pble_rsrc->pinfo.pble_shift 6
PARAM_VALUE 0 rf->rdma_ver 1-2
PARAM_VALUE 0 rf->sc_dev.cqp->dev->hw->device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rf->sc_dev.hw->device->iommu->attach_deferred 0-1
PARAM_VALUE 0 rf->sc_dev.hw->device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 *rf->iw_msixtbl->name 0-255
PARAM_VALUE 2 ip_addr 9080904829347381248
PARAM_VALUE 3 ipv4 0
PARAM_VALUE 4 action 1
BUF_SIZE 0 rf s32min-(-2),1-s32max
BUF_SIZE 0 rf s32min-(-2),1-s32max
BUF_SIZE 1 mac_addr 32
BUF_SIZE 2 ip_addr 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 rf unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/utils.c irdma_inet6addr_event() -> irdma_manage_arp_cache()

Type Parameter Key Value
PARAM_VALUE 2 ip_addr 4032617096685723648
PARAM_VALUE 3 ipv4 0
PARAM_VALUE 4 action 2
BUF_SIZE 1 mac_addr 32
BUF_SIZE 2 ip_addr 16
NOCHECK_CALL
UNITS 0 rf unit_byte

drivers/infiniband/hw/irdma/utils.c irdma_inetaddr_event() -> irdma_manage_arp_cache()

Type Parameter Key Value
PARAM_VALUE 2 ip_addr 3752655446806614016
PARAM_VALUE 3 ipv4 1
PARAM_VALUE 4 action 2
BUF_SIZE 1 mac_addr 32
NOCHECK_CALL
USER_DATA 2 *ip_addr 0-u32max
UNITS 0 rf unit_byte
USER_PTR 2 ip_addr

drivers/infiniband/hw/irdma/utils.c irdma_net_event() -> irdma_manage_arp_cache()

Type Parameter Key Value
PARAM_VALUE 2 ip_addr 4096-ptr_max
PARAM_VALUE 4 action 2
BUF_SIZE 1 mac_addr 32
BUF_SIZE 2 ip_addr 16
NOCHECK_CALL
UNITS 0 rf unit_byte