Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/file_ops.c match_ctxt() -> hfi1_rcd_get()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->in_use_ctxts 4096-ptr_max
PARAM_VALUE 0 rcd->jkey 0-31,64-u16max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 rcd->sc 0,4096-ptr_max
PARAM_VALUE 0 rcd->sc->type 1-255
PARAM_VALUE 0 rcd->subctxt_cnt 1-8
CAPPED_DATA 0 rcd->jkey 1
CAPPED_DATA 0 rcd->subctxt_cnt 1
CAPPED_DATA 0 rcd->subctxt_id 1
CAPPED_DATA 0 rcd->userversion 1
DATA_SOURCE 0 rcd $2
NOCHECK_CALL
LOCK2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/file_ops.c setup_base_ctxt() -> hfi1_rcd_get()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd 4096-ptr_max
PARAM_VALUE 0 rcd->dd->irq_src_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->dd->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rcd->dd->pcidev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 rcd->dd->pcidev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 rcd->dd->pcidev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 rcd->do_interrupt 7319624590385352704
PARAM_VALUE 0 rcd->egrbufs.count 0-2048
PARAM_VALUE 0 rcd->egrbufs.rcvtid_size 4096-262144
PARAM_VALUE 0 rcd->egrbufs.threshold 0-s16max
PARAM_VALUE 0 rcd->exp_mutex.first_waiter 0
PARAM_VALUE 0 rcd->exp_mutex.osq.tail.counter 0
PARAM_VALUE 0 rcd->exp_mutex.owner.counter 0
PARAM_VALUE 0 rcd->expected_count 0-2048
PARAM_VALUE 0 rcd->groups 1-u64max
PARAM_VALUE 0 rcd->head 0
PARAM_VALUE 0 rcd->jkey 0-31,64-u16max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter 1
PARAM_VALUE 0 rcd->msix_intr 256
PARAM_VALUE 0 rcd->rcvhdrq 1-u64max
PARAM_VALUE 0 rcd->rcvhdrtail_kvaddr 0-ptr_max
PARAM_VALUE 0 rcd->rhf_rcv_function_map 7287357882504753152
PARAM_VALUE 0 rcd->sc 0,4096-ptr_max
PARAM_VALUE 0 rcd->seq_cnt 1
PARAM_VALUE 0 rcd->slow_handler 7319624590385352704
PARAM_VALUE 0 rcd->tid_full_list.count 0
PARAM_VALUE 0 rcd->tid_group_list.list.prev 4096-ptr_max
PARAM_VALUE 0 rcd->tid_group_list.list.prev->next 4096-ptr_max
PARAM_VALUE 0 rcd->tid_group_list.list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rcd->tid_used_list.count 0
PARAM_VALUE 0 rcd->urgent 0
PARAM_VALUE 0 rcd->urgent_poll 0
PARAM_VALUE 0 *rcd->rhf_rcv_function_map 1471066638525321216,4138812662975582208
DATA_SOURCE 0 rcd $1
NOCHECK_CALL
USER_DATA 0 rcd->subctxt_cnt 1-8
USER_DATA 0 rcd->subctxt_id 0-u16max
USER_DATA 0 rcd->userversion 0-u32max
NO_OVERFLOW_SIMPLE 0 rcd->egrbufs.alloced
NO_OVERFLOW_SIMPLE 0 rcd->egrbufs.count
NO_OVERFLOW_SIMPLE 0 rcd->expected_count

drivers/infiniband/hw/hfi1/init.c hfi1_rcd_get_by_index() -> hfi1_rcd_get()

Type Parameter Key Value
PARAM_VALUE 0 rcd 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dd->uctxt_lock
LOCK2 flags
HALF_LOCKED2 &ppd->hls_lock
HALF_LOCKED2 &s->lock
HALF_LOCKED2 global &hfi1_mutex
TYPE_LOCK (struct hfi1_devdata)->uctxt_lock

drivers/infiniband/hw/hfi1/netdev_rx.c hfi1_netdev_rxq_init() -> hfi1_rcd_get()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd->irq_src_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->dd->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rcd->do_interrupt 6760979117424246784
PARAM_VALUE 0 rcd->egrbufs.count 0-2048
PARAM_VALUE 0 rcd->egrbufs.rcvtid_size 4096-262144
PARAM_VALUE 0 rcd->egrbufs.threshold 0-s16max
PARAM_VALUE 0 rcd->exp_mutex.osq.tail.counter 0
PARAM_VALUE 0 rcd->exp_mutex.owner.counter 0
PARAM_VALUE 0 rcd->expected_count 0-2048
PARAM_VALUE 0 rcd->fast_handler 259393905442054144
PARAM_VALUE 0 rcd->flags 0-1023
PARAM_VALUE 0 rcd->head 0
PARAM_VALUE 0 rcd->kref.refcount.refs.counter 1
PARAM_VALUE 0 rcd->msix_intr 256
PARAM_VALUE 0 rcd->rhf_rcv_function_map 3960029679366471680
PARAM_VALUE 0 rcd->seq_cnt 1
PARAM_VALUE 0 rcd->slow_handler 6760979117424246784
PARAM_VALUE 0 rcd->tid_full_list.count 0
PARAM_VALUE 0 rcd->tid_group_list.count 0
PARAM_VALUE 0 rcd->tid_used_list.count 0
PARAM_VALUE 0 *rcd->rcvhdrq (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *rcd->rhf_rcv_function_map 4138812662975582208
PARAM_VALUE 0 **rcd->rhf_rcv_function_map 4138812662975582208
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rcd->egrbufs.count
LOCK2 global &hfi1_mutex
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &device->unregistration_lock
HALF_LOCKED2 global &rtnl_mutex

drivers/infiniband/hw/hfi1/driver.c set_all_fastpath() -> hfi1_rcd_get()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
DATA_SOURCE 0 rcd $1
TASK_NOT_RUNNING
NOCHECK_CALL