Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/file_ops.c hfi1_file_close() -> hfi1_free_ctxt_rcv_groups()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd 4096-ptr_max
PARAM_VALUE 0 rcd->head 0
PARAM_VALUE 0 rcd->in_use_ctxts 4096-ptr_max
PARAM_VALUE 0 rcd->sc 0,4096-ptr_max
PARAM_VALUE 0 rcd->sc->alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->sc->dd 4096-ptr_max
PARAM_VALUE 0 rcd->sc->flags 0,2-65534
PARAM_VALUE 0 rcd->sc->release_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->sc->waitlock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 rcd->seq_cnt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd 4096-ptr_max
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->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->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->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->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 cleanup_device_data() -> hfi1_free_ctxt_rcv_groups()

Type Parameter Key Value
PARAM_VALUE 0 rcd 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL