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/mthca/mthca_uar.c mthca_cleanup_uar_table() -> mthca_cleanup_db_tab()

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.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->cmd.hcr_mutex.first_waiter->list.prev->next 5159360019465732096
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->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.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.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->pd_table.alloc.table 0,16,4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.cma_area->nranges s32min-s32max
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
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->cmd.pool->size 1
CAPPED_DATA 0 dev->mcg_table.alloc.table 1
CAPPED_DATA 0 dev->pd_table.alloc.table 1
CAPPED_DATA 0 dev->qp_table.alloc.table 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->mr_table.mpt_alloc.last 0-u32max[c]
HOST_DATA 0 dev->pd_table.alloc.last 0-u32max[c]
HOST_DATA 0 dev->pdev->bus->bridge_ctl 0-u16max
HOST_DATA 0 dev->pdev->current_state 0-3[c]
HOST_DATA 0 dev->uar_table.alloc.last 0-u32max[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->ib_dev.hw_stats_attr_index
UNITS 0 dev unit_byte
LOCK2 global &mthca_device_mutex