Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/debugfs.c _ctx_stats_seq_show() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->opstats 4096-ptr_max
PARAM_VALUE 0 rcd->opstats->stats 4096-ptr_max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index_safe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/infiniband/hw/hfi1/debugfs.c _opcode_stats_seq_show() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 rcd->opstats 4096-ptr_max
PARAM_VALUE 0 rcd->opstats->stats 4096-ptr_max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/infiniband/hw/hfi1/debugfs.c _rcds_seq_show() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->dd 4096-ptr_max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index_safe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/infiniband/hw/hfi1/file_ops.c complete_subctxt() -> hfi1_rcd_put()

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->subctxt_cnt 1-8
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rcd->expected_count

drivers/infiniband/hw/hfi1/file_ops.c find_sub_ctxt() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 rcd->sc 0,4096-ptr_max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
NOCHECK_CALL
LOCK2 global &hfi1_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/file_ops.c hfi1_set_uevent_bits() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 rcd->subctxt_cnt 1
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ppd->hls_lock

drivers/infiniband/hw/hfi1/fault.c _fault_stats_seq_show() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 rcd->opstats 4096-ptr_max
PARAM_VALUE 0 rcd->opstats->stats 4096-ptr_max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/infiniband/hw/hfi1/init.c enable_chip() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 rcd->sc 0,4096-ptr_max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/init.c hfi1_free_ctxt() -> hfi1_rcd_put()

Type Parameter Key Value
BUF_SIZE 0 rcd (-1),1312
BUF_SIZE 0 rcd (-1),1312
BUF_SIZE 0 rcd->egrbufs.buffers (-1),24
BUF_SIZE 0 rcd->egrbufs.rcvtids (-1),16
BUF_SIZE 0 rcd->opstats (-1),4096
BUF_SIZE 0 rcd->rhf_rcv_function_map (-1),64
BUF_SIZE 0 rcd->sc (-1),768
DATA_SOURCE 0 rcd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rcd->subctxt_cnt 1-8[c]
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
NO_OVERFLOW_SIMPLE 0 rcd->sc->dd->num_pports
NO_OVERFLOW_SIMPLE 0 rcd->sc->dd->num_rcv_contexts
NO_OVERFLOW_SIMPLE 0 rcd->sc->dd->num_send_contexts
NO_OVERFLOW_SIMPLE 0 rcd->sc->dd->platform_config.size
NO_OVERFLOW_SIMPLE 0 rcd->sc->sr_size
NO_OVERFLOW_SIMPLE 0 rcd->sc->sw_index
HALF_LOCKED2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/init.c hfi1_init() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rcd->egrbufs.alloced
HALF_LOCKED2 &of->mutex

drivers/infiniband/hw/hfi1/init.c init_after_reset() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/init.c shutdown_device() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/infiniband/hw/hfi1/msix.c msix_request_irqs() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->dd 4096-ptr_max
PARAM_VALUE 0 rcd->dd->msix_info.msix_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index_safe
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rcd->msix_intr

drivers/infiniband/hw/hfi1/netdev_rx.c hfi1_netdev_rxq_deinit() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rcd->dd->uctxt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->egrbufs.alloced 0
PARAM_VALUE 0 rcd->egrbufs.buffers 0
PARAM_VALUE 0 rcd->egrbufs.rcvtids 0
PARAM_VALUE 0 rcd->event_flags 0
PARAM_VALUE 0 rcd->msix_intr 256
PARAM_VALUE 0 rcd->opstats 0
PARAM_VALUE 0 rcd->rcvhdrq 0
PARAM_VALUE 0 rcd->subctxt_rcvegrbuf 0
PARAM_VALUE 0 rcd->subctxt_rcvhdr_base 0
PARAM_VALUE 0 rcd->subctxt_uregbase 0
PARAM_VALUE 0 *rcd->sc->dd->hw_to_sw 255
CAPPED_DATA 0 rcd 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &hfi1_mutex
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->dd->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rcd->dd->uctxt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->egrbufs.alloced 0
PARAM_VALUE 0 rcd->egrbufs.buffers 0
PARAM_VALUE 0 rcd->egrbufs.rcvtids 0
PARAM_VALUE 0 rcd->event_flags 0
PARAM_VALUE 0 rcd->msix_intr 256
PARAM_VALUE 0 rcd->opstats 0
PARAM_VALUE 0 rcd->rcvhdrq 0
PARAM_VALUE 0 rcd->subctxt_rcvegrbuf 0
PARAM_VALUE 0 rcd->subctxt_rcvhdr_base 0
PARAM_VALUE 0 rcd->subctxt_uregbase 0
PARAM_VALUE 0 *rcd->sc->dd->hw_to_sw 255
CAPPED_DATA 0 rcd 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 receive_interrupt_work() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->dd 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd $1
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hfi1/driver.c set_all_slowpath() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ppd->hls_lock
TYPE_LOCK (struct hfi1_pportdata)->hls_lock

drivers/infiniband/hw/hfi1/chip.c is_rcv_avail_int() -> hfi1_rcd_put()

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->uctxt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->head 0
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 rcd->seq_cnt 1
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/infiniband/hw/hfi1/chip.c is_rcv_urgent_int() -> hfi1_rcd_put()

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->uctxt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->head 0
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 rcd->seq_cnt 1
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/infiniband/hw/hfi1/chip.c rxe_freeze() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/chip.c rxe_kernel_unfreeze() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/chip.c rxe_kernel_unfreeze() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/aspm.c aspm_disable_all() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->aspm_intr_enable 0
PARAM_VALUE 0 rcd->aspm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->aspm_timer.entry.pprev 0
PARAM_VALUE 0 rcd->aspm_timer.flags 0-4194302
PARAM_VALUE 0 rcd->aspm_timer.function 0
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 &rcd->aspm_timer 1
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/aspm.c aspm_enable_all() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 4096-ptr_max
PARAM_VALUE 0 rcd->aspm_enabled 1
PARAM_VALUE 0 rcd->aspm_intr_enable 1
PARAM_VALUE 0 rcd->aspm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &hfi1_mutex

drivers/infiniband/hw/hfi1/aspm.c aspm_init() -> hfi1_rcd_put()

Type Parameter Key Value
PARAM_VALUE 0 rcd 0,4096-ptr_max
PARAM_VALUE 0 rcd->aspm_timer.entry.pprev 0
PARAM_VALUE 0 rcd->aspm_timer.flags 0-4194302
PARAM_VALUE 0 rcd->aspm_timer.lockdep_map->name 0-255
PARAM_VALUE 0 rcd->dd 4096-ptr_max
PARAM_VALUE 0 rcd->kref.refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 rcd r hfi1_rcd_get_by_index
NOCHECK_CALL