Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 9 files:
- drivers/infiniband/hw/hfi1/aspm.c
- drivers/infiniband/hw/hfi1/chip.c
- drivers/infiniband/hw/hfi1/debugfs.c
- drivers/infiniband/hw/hfi1/driver.c
- drivers/infiniband/hw/hfi1/fault.c, line 58
- drivers/infiniband/hw/hfi1/file_ops.c
- drivers/infiniband/hw/hfi1/init.c
- drivers/infiniband/hw/hfi1/msix.c, line 269
- drivers/infiniband/hw/hfi1/netdev_rx.c
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 |