Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/file_ops.c assign_ctxt() -> deallocate_ctxt()

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

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

Type Parameter Key Value
PARAM_VALUE 0 uctxt 4096-ptr_max
PARAM_VALUE 0 uctxt->dd 4096-ptr_max
PARAM_VALUE 0 uctxt->event_flags 0
PARAM_VALUE 0 uctxt->groups 0
PARAM_VALUE 0 uctxt->head 0
PARAM_VALUE 0 uctxt->in_use_ctxts 4096-ptr_max
PARAM_VALUE 0 uctxt->sc 0,4096-ptr_max
PARAM_VALUE 0 uctxt->sc->alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 uctxt->sc->dd 4096-ptr_max
PARAM_VALUE 0 uctxt->sc->flags 0,2-65534
PARAM_VALUE 0 uctxt->sc->release_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 uctxt->sc->waitlock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 uctxt->seq_cnt 1
PARAM_VALUE 0 uctxt->tid_full_list.count 0
PARAM_VALUE 0 uctxt->tid_full_list.list.next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_full_list.list.next->next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_full_list.list.prev 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_full_list.list.prev->next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_full_list.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_group_list.count 0
PARAM_VALUE 0 uctxt->tid_group_list.list.next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_group_list.list.next->next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_group_list.list.prev 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_group_list.list.prev->next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_group_list.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_used_list.count 0
PARAM_VALUE 0 uctxt->tid_used_list.list.next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_used_list.list.next->next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_used_list.list.prev 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_used_list.list.prev->next 4096-ptr_max
PARAM_VALUE 0 uctxt->tid_used_list.list.prev->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL