Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/infiniband/hw/mthca/mthca_cq.c
- drivers/infiniband/hw/mthca/mthca_memfree.c
- drivers/infiniband/hw/mthca/mthca_mr.c
- drivers/infiniband/hw/mthca/mthca_qp.c
- drivers/infiniband/hw/mthca/mthca_srq.c
Smatch caller information:
drivers/infiniband/hw/mthca/mthca_memfree.c mthca_table_get_range() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->size | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.driver_def->needs_fn_offset | 0,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344,352,360,368,376,384,392,400,408,424,432,440,472,488,496,544,552,560,568,576,584,592,600,608,656,664,672,680,688,704,712,720,744 |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->pdev->dev.iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | dev->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 1 | table | 4096-ptr_max |
| BUF_SIZE | 0 | dev->mr_table.fmr_mtt_buddy | (-1),96 |
| BUF_SIZE | 0 | dev->pdev | (-1),1-s32max |
| CAPPED_DATA | 0 | dev->cmd.pool->size | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | table | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->driver_pd.ntmr.ibmr.lkey | 0-u32max[c] |
| HOST_DATA | 0 | dev->driver_uar.index | 0-s32max[c] |
| HOST_DATA | 0 | dev->driver_uar.pfn | 0-4503601774854142[c] |
| HOST_DATA | 0 | dev->eq_table.arm_mask | 0-u32max[c] |
| HOST_DATA | 0 | dev->pd_table.alloc.last | 0[c] |
| HOST_DATA | 0 | dev->pdev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->cmd.pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | dev->db_tab->npages | |
| HALF_LOCKED2 | global &mthca_device_mutex |
drivers/infiniband/hw/mthca/mthca_memfree.c mthca_table_put_range() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->size | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.client_data_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.client_data_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.coredev.ports_kobj->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.driver_def->needs_fn_offset | 0,35,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344,352,360,368,376,384,392,400,408,416,424,432,440,448,472,480,488,496,520,536,544,552,560,568,576,584,592,600,608,616,624,632,640,648,656,664,672,680-s64max |
| PARAM_VALUE | 0 | dev->ib_dev.port_data->cache.last_port_state | 1,4 |
| PARAM_VALUE | 0 | dev->ib_dev.port_data->immutable.pkey_tbl_len | 0-u16max |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->pdev->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->pdev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | dev->pdev->dev.msi.data->__iter_idx | 0-s64max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | dev->cmd.pool->size | 1 |
| CAPPED_DATA | 2 | obj | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | table | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->driver_pd.ntmr.ibmr.lkey | 0-u32max[c] |
| HOST_DATA | 0 | dev->driver_uar.index | 0-s32max[c] |
| HOST_DATA | 0 | dev->driver_uar.pfn | 0-4503601774854142[c] |
| HOST_DATA | 0 | dev->eq_table.alloc.last | 0-4294967294[c] |
| HOST_DATA | 0 | dev->eq_table.arm_mask | 0-u32max[c] |
| HOST_DATA | 0 | dev->ib_dev.dev.bus_dma_limit | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.coherent_dma_mask | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.devt | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.dma_uses_io_tlb | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.id | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.release.cpu | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.release.timer.expires | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.release.timer.flags | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.release.work.data.counter | s64min-s64max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.state_add_uevent_sent | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.state_in_sysfs | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.state_initialized | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.state_remove_uevent_sent | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.uevent_suppress | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.links.status | 0,3 |
| HOST_DATA | 0 | dev->ib_dev.dev.mutex.osq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.mutex.owner.counter | s64min-s64max |
| HOST_DATA | 0 | dev->ib_dev.dev.numa_node | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.accounting_timestamp | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.active_time | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.async_suspend | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.autosuspend_delay | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.can_wakeup | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.child_count.counter | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.completion.done | u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.deferred_resume | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.detach_power_off | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.direct_complete | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.disable_depth | 0-7 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.driver_flags | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.early_init | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.idle_notification | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.ignore_children | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.in_dpm_list | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.irq_safe | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.is_late_suspended | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.is_noirq_suspended | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.is_prepared | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.is_suspended | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.last_busy | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.last_status | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.links_count | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.may_skip_resume | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.memalloc_noio | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.must_resume | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.needs_force_resume | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.no_callbacks | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.no_pm | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.no_pm_callbacks | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.out_band_wakeup | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.power_state.event | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.request | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.request_pending | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.runtime_auto | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.runtime_error | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.runtime_status | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.smart_suspend | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.strict_midlayer | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.suspended_time | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.syscore | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.timer_autosuspends | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.timer_expires | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.usage_count.counter | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.use_autosuspend | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.work_in_progress | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.removable | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.ops.driver_id | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_ah | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_counters | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_cq | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_dmah | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_mw | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_pd | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_qp | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_rwq_ind_table | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_srq | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_ucontext | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_xrcd | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_rdma_counter | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.uverbs_abi_ver | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.ops.uverbs_no_driver_id_binding | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.ops.uverbs_robust_udata | 0-1 |
| HOST_DATA | 0 | dev->mr_table.mpt_alloc.last | 0-u32max[c] |
| HOST_DATA | 0 | dev->pd_table.alloc.last | 0[c] |
| HOST_DATA | 0 | dev->pdev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->cmd.max_cmds | |
| NO_OVERFLOW_SIMPLE | 0 | dev->cmd.pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | dev->cmd.token_mask | |
| NO_OVERFLOW_SIMPLE | 0 | dev->db_tab->npages | |
| NO_OVERFLOW_SIMPLE | 0 | dev->ib_dev.hw_stats_attr_index | |
| UNITS | 0 | dev | unit_byte |
drivers/infiniband/hw/mthca/mthca_srq.c mthca_alloc_srq() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->srq_table.alloc.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->srq_table.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->srq_table.srq.page_list | 4096-ptr_max |
| PARAM_VALUE | 2 | obj | s32min-(-2),0-s32max |
| CAPPED_DATA | 0 | dev->srq_table.alloc.max | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 2 | obj | r mthca_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &devr->srq_lock | ||
| HALF_LOCKED2 | global &device_list_mutex |
drivers/infiniband/hw/mthca/mthca_srq.c mthca_free_srq() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.context_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.event_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->size | 0-s32max |
| PARAM_VALUE | 0 | dev->srq_table.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->srq_table.srq.page_list | 4096-ptr_max |
| CAPPED_DATA | 0 | dev->cmd.pool->size | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/mthca/mthca_mr.c mthca_free_region() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.client_data_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.client_data_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ib_dev.coredev.ports_kobj->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ib_dev.driver_def->needs_fn_offset | 0,35,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344,352,360,368,376,384,392,400,408,416,424,432,440,448,472,480,488,496,520,536,544,552,560,568,576,584,592,600,608,616,624,632,640,648,656,664,672,680-s64max |
| PARAM_VALUE | 0 | dev->ib_dev.port_data->cache.last_port_state | 1,4 |
| PARAM_VALUE | 0 | dev->ib_dev.port_data->immutable.pkey_tbl_len | 0-u16max |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->pdev->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | *dev->board_id | 0-255 |
| PARAM_VALUE | 0 | *dev->cmd.dbell_offsets | 0-u16max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->pdev | (-1),1-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->driver_pd.ntmr.ibmr.lkey | 0-u32max[c] |
| HOST_DATA | 0 | dev->driver_uar.index | 0-s32max[c] |
| HOST_DATA | 0 | dev->driver_uar.pfn | 0-4503601774854142[c] |
| HOST_DATA | 0 | dev->eq_table.arm_mask | 0-u32max[c] |
| HOST_DATA | 0 | dev->ib_dev.dev.bus_dma_limit | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.coherent_dma_mask | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.devt | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.dma_uses_io_tlb | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.id | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.release.cpu | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.release.timer.expires | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.release.timer.flags | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.release.work.data.counter | s64min-s64max |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.state_add_uevent_sent | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.state_in_sysfs | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.state_initialized | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.state_remove_uevent_sent | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.kobj.uevent_suppress | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.links.status | 0,3 |
| HOST_DATA | 0 | dev->ib_dev.dev.mutex.osq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.mutex.owner.counter | s64min-s64max |
| HOST_DATA | 0 | dev->ib_dev.dev.numa_node | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.accounting_timestamp | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.active_time | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.async_suspend | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.autosuspend_delay | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.can_wakeup | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.child_count.counter | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.completion.done | u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.deferred_resume | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.detach_power_off | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.direct_complete | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.disable_depth | 0-7 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.driver_flags | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.early_init | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.idle_notification | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.ignore_children | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.in_dpm_list | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.irq_safe | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.is_late_suspended | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.is_noirq_suspended | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.is_prepared | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.is_suspended | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.last_busy | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.last_status | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.links_count | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.may_skip_resume | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.memalloc_noio | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.must_resume | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.needs_force_resume | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.no_callbacks | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.no_pm | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.no_pm_callbacks | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.out_band_wakeup | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.power_state.event | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.request | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.request_pending | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.runtime_auto | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.runtime_error | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.runtime_status | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.smart_suspend | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.strict_midlayer | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.suspended_time | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.syscore | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.timer_autosuspends | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.timer_expires | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.usage_count.counter | s32min-s32max |
| HOST_DATA | 0 | dev->ib_dev.dev.power.use_autosuspend | 0 |
| HOST_DATA | 0 | dev->ib_dev.dev.power.work_in_progress | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.dev.removable | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.ops.driver_id | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_ah | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_counters | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_cq | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_dmah | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_mw | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_pd | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_qp | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_rwq_ind_table | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_srq | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_ucontext | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_ib_xrcd | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.size_rdma_counter | 0-u64max |
| HOST_DATA | 0 | dev->ib_dev.ops.uverbs_abi_ver | 0-u32max |
| HOST_DATA | 0 | dev->ib_dev.ops.uverbs_no_driver_id_binding | 0-1 |
| HOST_DATA | 0 | dev->ib_dev.ops.uverbs_robust_udata | 0-1 |
| HOST_DATA | 0 | dev->mr_table.mpt_alloc.last | 0-u32max[c] |
| HOST_DATA | 0 | dev->pd_table.alloc.last | 0[c] |
| HOST_DATA | 0 | dev->pdev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->current_state | 0-3[c] |
| HOST_DATA | 2 | obj | 0-s32max[c] |
| USER_DATA | 2 | obj | s32min-s32max |
| NO_OVERFLOW_SIMPLE | 0 | dev->cmd.pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | dev->db_tab->npages | |
| NO_OVERFLOW_SIMPLE | 0 | dev->ib_dev.hw_stats_attr_index | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | global &mthca_device_mutex |
drivers/infiniband/hw/mthca/mthca_mr.c mthca_mr_alloc() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.context_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.event_sem.last_holder | 0 |
| PARAM_VALUE | 0 | dev->cmd.event_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.event_sem.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->cmd.event_sem.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.last_holder | 0 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->ib_dev.driver_def->needs_fn_offset | 0,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344,352,360,368,376,384,392,400,408,416,424,432,440,448,472,480,488,496,520,536,544,552,560,568,576,584,592,600,608,616,624,632,640,648,656,664,672,680-s64max |
| PARAM_VALUE | 0 | dev->mr_table.mpt_alloc.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->pdev->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 2 | obj | s32min-(-2),0-s32max |
| BUF_SIZE | 0 | dev->pdev | (-1),1-s32max |
| CAPPED_DATA | 0 | dev->mr_table.mpt_alloc.max | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->driver_pd.ntmr.ibmr.lkey | 0-u32max[c] |
| HOST_DATA | 0 | dev->driver_uar.index | 0-s32max[c] |
| HOST_DATA | 0 | dev->driver_uar.pfn | 0-4503601774854142[c] |
| HOST_DATA | 0 | dev->eq_table.arm_mask | 0-u32max[c] |
| HOST_DATA | 0 | dev->pd_table.alloc.last | 0[c] |
| HOST_DATA | 0 | dev->pdev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->cmd.pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | dev->db_tab->npages |
drivers/infiniband/hw/mthca/mthca_cq.c mthca_free_cq() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.context_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.event_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->size | 0-s32max |
| PARAM_VALUE | 0 | dev->cq_table.cq.page_list | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cq_table.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->pdev | 4096-ptr_max |
| CAPPED_DATA | 0 | dev->cmd.pool->size | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/mthca/mthca_cq.c mthca_init_cq() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cq_table.alloc.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->eq_table.eq | 4096-ptr_max |
| PARAM_VALUE | 2 | obj | s32min-(-2),0-s32max |
| CAPPED_DATA | 0 | dev->cq_table.alloc.max | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 2 | obj | r mthca_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/mthca/mthca_qp.c mthca_map_memfree() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->qp_table.eqp_table | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->qp_table.qp_table | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->qp_table.rdb_table | 4096-ptr_max |
| PARAM_VALUE | 1 | table | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/mthca/mthca_qp.c mthca_map_memfree() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->qp_table.eqp_table | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->qp_table.qp_table | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->qp_table.rdb_table | 4096-ptr_max |
| PARAM_VALUE | 1 | table | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/mthca/mthca_qp.c mthca_unmap_memfree() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/mthca/mthca_qp.c mthca_unmap_memfree() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/mthca/mthca_qp.c mthca_unmap_memfree() -> mthca_table_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->pdev->dev.cma_area->nranges | s32min-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |