unlock_exp_tids identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/infiniband/hw/hfi1/user_exp_rcv.c, line 13 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/hw/hfi1/user_exp_rcv.c, line 852 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/hfi1/user_exp_rcv.c
- line 106
- line 108

Smatch caller information:

drivers/infiniband/hw/hfi1/user_exp_rcv.c hfi1_user_exp_rcv_free() -> unlock_exp_tids()

Type	Parameter	Key	Value
PARAM_VALUE	0	uctxt	4096-ptr_max
PARAM_VALUE	0	uctxt->exp_mutex.dep_map->name	0-255
PARAM_VALUE	0	uctxt->exp_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	uctxt->exp_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	uctxt->exp_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	uctxt->exp_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	uctxt->exp_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	uctxt->exp_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	set	4096-ptr_max
PARAM_VALUE	2	fd	4096-ptr_max
PARAM_VALUE	2	fd->cq	0
PARAM_VALUE	2	fd->pq	0
PARAM_VALUE	2	fd->pq_rcu_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->lock.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->lock.owner	(-1)
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->lock.owner_cpu	u32max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->node	0,4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->sda_is_static	1
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_barrier_mutex.magic	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_cb_mutex.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_cb_mutex.magic	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_mutex.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_mutex.magic	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_seq	18446744073709551216
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_seq_needed	0,4-u64max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_seq_needed_exp	18446744073709551216
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_size_state	0-1,8
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_ssp	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_ssp->sda	1-u64max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_ssp->srcu_sup	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->work.work.entry.next	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->work.work.entry.prev	2076614606316732416
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->work.work.entry.prev->prev	2076614606316732416
PARAM_VALUE	2	fd->uctxt	4096-ptr_max
PARAM_VALUE	2	fd->uctxt->exp_mutex.dep_map->name	0-255
PARAM_VALUE	2	fd->uctxt->exp_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	2	fd->uctxt->exp_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	2	fd->uctxt->exp_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	2	fd->uctxt->exp_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	2	fd->uctxt->exp_mutex.wait_lock.owner	(-1)
PARAM_VALUE	2	fd->uctxt->exp_mutex.wait_lock.owner_cpu	u32max
BUF_SIZE	2	fd	(-1),26
BUF_SIZE	2	fd	(-1),26
CAPPED_DATA	0	&uctxt->exp_mutex	1
CAPPED_DATA	0	&uctxt->tid_full_list.list	1
DATA_SOURCE	2	fd	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&uctxt->exp_mutex
TYPE_LOCK		(struct hfi1_ctxtdata)->exp_mutex

drivers/infiniband/hw/hfi1/user_exp_rcv.c hfi1_user_exp_rcv_free() -> unlock_exp_tids()

Type	Parameter	Key	Value
PARAM_VALUE	0	uctxt	4096-ptr_max
PARAM_VALUE	0	uctxt->exp_mutex.dep_map->name	0-255
PARAM_VALUE	0	uctxt->exp_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	uctxt->exp_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	uctxt->exp_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	uctxt->exp_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	uctxt->exp_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	uctxt->exp_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	uctxt->tid_full_list.list.next	4096-ptr_max
PARAM_VALUE	1	set	4096-ptr_max
PARAM_VALUE	2	fd	4096-ptr_max
PARAM_VALUE	2	fd->cq	0
PARAM_VALUE	2	fd->pq	0
PARAM_VALUE	2	fd->pq_rcu_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->lock.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->lock.owner	(-1)
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->lock.owner_cpu	u32max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->node	0,4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->sda_is_static	1
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_barrier_mutex.magic	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_cb_mutex.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_cb_mutex.magic	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_mutex.dep_map->name	0-255
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_mutex.magic	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_seq	18446744073709551216
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_seq_needed	0,4-u64max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_gp_seq_needed_exp	18446744073709551216
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_size_state	0-1,8
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_ssp	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_ssp->sda	1-u64max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->srcu_ssp->srcu_sup	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->work.work.entry.next	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->work.work.entry.prev	2076614606316732416
PARAM_VALUE	2	fd->pq_srcu.srcu_sup->work.work.entry.prev->prev	2076614606316732416
PARAM_VALUE	2	fd->uctxt	4096-ptr_max
PARAM_VALUE	2	fd->uctxt->exp_mutex.dep_map->name	0-255
PARAM_VALUE	2	fd->uctxt->exp_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	2	fd->uctxt->exp_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	2	fd->uctxt->exp_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	2	fd->uctxt->exp_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	2	fd->uctxt->exp_mutex.wait_lock.owner	(-1)
PARAM_VALUE	2	fd->uctxt->exp_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	2	fd->uctxt->tid_full_list.list.next	4096-ptr_max
BUF_SIZE	2	fd	(-1),26
BUF_SIZE	2	fd	(-1),26
CAPPED_DATA	0	&uctxt->exp_mutex	1
CAPPED_DATA	0	&uctxt->tid_full_list.list	1
CAPPED_DATA	0	&uctxt->tid_used_list.list	1
DATA_SOURCE	2	fd	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&uctxt->exp_mutex
TYPE_LOCK		(struct hfi1_ctxtdata)->exp_mutex