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_provider.c mthca_unregister_device() -> mthca_stop_catas_poll()

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->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->board_id 0-255
PARAM_VALUE 0 *dev->cmd.dbell_offsets 0-u16max
PARAM_VALUE 0 *dev->ib_dev.node_desc 0-255
PARAM_VALUE 0 *dev->rate 0-255
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->limits.num_ports 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.token_mask
NO_OVERFLOW_SIMPLE 0 dev->ib_dev.hw_stats_attr_index
UNITS 0 dev unit_byte
LOCK2 global &mthca_device_mutex