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/hfi1/user_exp_rcv.c unlock_exp_tids() -> cacheless_tid_rb_remove()

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

drivers/infiniband/hw/hfi1/user_exp_rcv.c unprogram_rcvarray() -> cacheless_tid_rb_remove()

Type Parameter Key Value
PARAM_VALUE 0 fdata 4096-ptr_max
PARAM_VALUE 0 fdata->entry_to_rb 4096-ptr_max
PARAM_VALUE 0 fdata->uctxt 4096-ptr_max
PARAM_VALUE 0 fdata->uctxt->exp_mutex.dep_map->name 0-255
PARAM_VALUE 0 fdata->uctxt->exp_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 fdata->uctxt->exp_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 fdata->uctxt->exp_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 fdata->uctxt->exp_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 fdata->uctxt->exp_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 fdata->uctxt->exp_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 fdata->uctxt->expected_count 1-u16max
PARAM_VALUE 1 tnode 4096-ptr_max
PARAM_VALUE 1 tnode->rcventry 0-67582
BUF_SIZE 0 fdata s32min-(-2),1-s32max
BUF_SIZE 0 fdata s32min-(-2),1-s32max
CAPPED_DATA 1 tnode->rcventry 1
DATA_SOURCE 0 fdata $0
NOCHECK_CALL
LOCK2 &uctxt->exp_mutex
TYPE_LOCK (struct hfi1_ctxtdata)->exp_mutex