hfi1_user_exp_rcv_invalid 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.h, line 58 (as a prototype)

Defined in 1 files as a function:

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

Referenced in 1 files:

drivers/infiniband/hw/hfi1/file_ops.c
- line 1360
- line 1425

Smatch caller information:

drivers/infiniband/hw/hfi1/file_ops.c user_exp_rcv_invalid() -> hfi1_user_exp_rcv_invalid()

Type	Parameter	Key	Value
PARAM_VALUE	0	fd	4096-ptr_max
PARAM_VALUE	0	fd->invalid_tids	1-u64max
PARAM_VALUE	0	fd->uctxt	1-u64max
PARAM_VALUE	1	tinfo	4028082347062075392
BUF_SIZE	0	fd	s32min-(-2),1-s32max
BUF_SIZE	0	fd	s32min-(-2),1-s32max
DATA_SOURCE	0	fd	$0
USER_DATA	1	tinfo->length	0-u32max
USER_DATA	1	tinfo->tidcnt	0-u32max
USER_DATA	1	tinfo->tidlist	0-u64max
USER_DATA	1	tinfo->vaddr	0-u64max

drivers/infiniband/hw/hfi1/file_ops.c user_exp_rcv_setup() -> hfi1_user_exp_rcv_invalid()

Type	Parameter	Key	Value
PARAM_VALUE	0	fd	4096-ptr_max
PARAM_VALUE	0	fd->tid_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	fd->uctxt	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->exp_mutex.dep_map->name	0-255
PARAM_VALUE	0	fd->uctxt->exp_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	fd->uctxt->exp_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	fd->uctxt->exp_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	fd->uctxt->exp_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	fd->uctxt->exp_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	fd->uctxt->exp_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	fd->uctxt->exp_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	fd->uctxt->exp_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	fd->uctxt->tid_full_list.list.prev	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->tid_full_list.list.prev->next	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->tid_full_list.list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->tid_group_list.list.prev	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->tid_group_list.list.prev->next	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->tid_group_list.list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->tid_used_list.list.prev	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->tid_used_list.list.prev->next	4096-ptr_max
PARAM_VALUE	0	fd->uctxt->tid_used_list.list.prev->next->next	4096-ptr_max
PARAM_VALUE	1	tinfo	3341022624233725952
PARAM_VALUE	1	tinfo->tidcnt	1-536870911
BUF_SIZE	0	fd	s32min-(-2),1-s32max
BUF_SIZE	0	fd	s32min-(-2),1-s32max
DATA_SOURCE	0	fd	$0
NOCHECK_CALL
USER_DATA	1	tinfo->length	0-u32max
USER_DATA	1	tinfo->tidcnt	1-536870911
USER_DATA	1	tinfo->tidlist	0-u64max
USER_DATA	1	tinfo->vaddr	0-u64max
NO_OVERFLOW_SIMPLE	0	fd->tid_used
NO_OVERFLOW_SIMPLE	1	tinfo->tidcnt