mthca_cmd_post identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/hw/mthca/mthca_cmd.c, line 275 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/mthca/mthca_cmd.c
- line 346
- line 429

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_cmd.c mthca_cmd_poll() -> mthca_cmd_post()

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->list.next	5349227543279349760
PARAM_VALUE	0	dev->cmd.poll_sem.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	dev->cmd.poll_sem.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	dev->cmd.poll_sem.first_waiter->up	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.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	4	op_modifier	0-7
PARAM_VALUE	6	token	u16max
PARAM_VALUE	7	event	0
BUF_SIZE	0	dev	s32min-(-1),1-s32max
BUF_SIZE	0	dev	s32min-(-1),1-s32max
BUF_SIZE	0	dev->fw.arbel.aux_icm	(-1),24
BUF_SIZE	0	dev->fw.arbel.fw_icm	(-1),24
BUF_SIZE	0	dev->mr_table.fmr_mtt_buddy	(-1),96
BUF_SIZE	0	dev->pdev	(-1),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	in_param	$1
DATA_SOURCE	3	in_modifier	$4
DATA_SOURCE	4	op_modifier	$5
DATA_SOURCE	5	op	$6
FUZZY_MAX	4	op_modifier	3
STR_LEN	0	dev	(-1),4
STR_LEN	0	dev	(-1),4
BIT_INFO	0	dev->cmd.flags	0x0,0xfffffffe
NOSPEC	1	in_param
NOSPEC	1	in_param
NOSPEC	3	in_modifier
NOSPEC	3	in_modifier
RX_PATH
TASK_NOT_RUNNING
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-u32max[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]
HOST_DATA	3	in_modifier	0-s32max[c]
USER_DATA	1	in_param	1-s32max[c]
USER_DATA	3	in_modifier	0-u32max
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.dev.physical_location
NO_OVERFLOW_SIMPLE	0	dev->ib_dev.hw_stats_attr_index
NO_OVERFLOW_SIMPLE	0	dev->ib_dev.phys_port_cnt
UNITS	0	dev	unit_byte
UNITS	3	in_modifier	unit_array_size
LOCK2	0	&dev->cmd.poll_sem
HALF_LOCKED2		global &mthca_device_mutex
HALF_LOCKED2	0	&dev->db_tab->mutex
HALF_LOCKED2	0	&dev->mcg_table.mutex
TYPE_LOCK		(struct mthca_cmd)->poll_sem

drivers/infiniband/hw/mthca/mthca_cmd.c mthca_cmd_wait() -> mthca_cmd_post()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->cmd.context	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->list.next	5349227543279349760
PARAM_VALUE	0	dev->cmd.event_sem.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	dev->cmd.event_sem.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	dev->cmd.event_sem.first_waiter->up	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.flags	1-u32max
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	4	op_modifier	0-7
PARAM_VALUE	7	event	1
BUF_SIZE	0	dev	s32min-(-1),1-s32max
BUF_SIZE	0	dev	s32min-(-1),1-s32max
BUF_SIZE	0	dev->fw.arbel.aux_icm	(-1),24
BUF_SIZE	0	dev->fw.arbel.fw_icm	(-1),24
BUF_SIZE	0	dev->mr_table.fmr_mtt_buddy	(-1),96
BUF_SIZE	0	dev->pdev	(-1),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	in_param	$1
DATA_SOURCE	3	in_modifier	$4
DATA_SOURCE	4	op_modifier	$5
DATA_SOURCE	5	op	$6
FUZZY_MAX	4	op_modifier	3
STR_LEN	0	dev	(-1),4
STR_LEN	0	dev	(-1),4
BIT_INFO	0	dev->cmd.flags	0x1,0xffffffff
NOSPEC	1	in_param
NOSPEC	1	in_param
NOSPEC	3	in_modifier
NOSPEC	3	in_modifier
RX_PATH
TASK_NOT_RUNNING
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-u32max[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]
HOST_DATA	3	in_modifier	0-s32max[c]
USER_DATA	1	in_param	1-s32max[c]
USER_DATA	3	in_modifier	0-u32max
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.dev.physical_location
NO_OVERFLOW_SIMPLE	0	dev->ib_dev.hw_stats_attr_index
NO_OVERFLOW_SIMPLE	0	dev->ib_dev.phys_port_cnt
UNITS	0	dev	unit_byte
UNITS	3	in_modifier	unit_array_size
UNITS	6	token	unit_array_size
LOCK2	0	&dev->cmd.event_sem
HALF_LOCKED2		global &mthca_device_mutex
HALF_LOCKED2	0	&dev->cmd.poll_sem
HALF_LOCKED2	0	&dev->db_tab->mutex
HALF_LOCKED2	0	&dev->mcg_table.mutex
TYPE_LOCK		(struct mthca_cmd)->event_sem