rdma_dev_name_in_netns identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/core/device.c, line 1708 (as a function)

Referenced in 1 files:

drivers/infiniband/core/device.c

Smatch caller information:

drivers/infiniband/core/device.c rdma_dev_pick_netns_name() -> rdma_dev_name_in_netns()

Type	Parameter	Key	Value
PARAM_VALUE	0	skip	4096-ptr_max
PARAM_VALUE	0	skip->client_data_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	skip->client_data_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	skip->unreg_completion.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unreg_completion.wait.lock.owner	(-1)
PARAM_VALUE	0	skip->unreg_completion.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	skip->unregistration_lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unregistration_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	skip->unregistration_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.owner	(-1)
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	net	4096-ptr_max
PARAM_VALUE	2	name	1-u64max
CAPPED_DATA	0	skip	1
CAPPED_DATA	0	skip->coredev.rdma_net.net	1
CAPPED_DATA	1	net	1
DATA_SOURCE	0	skip	$0
DATA_SOURCE	1	net	$1
DATA_SOURCE	2	name	$2
STR_LEN	0	skip	(-1),7
STR_LEN	0	skip	(-1),7
RX_PATH
TASK_NOT_RUNNING
LOCK2		global &devices_rwsem
LOCK2	0	&skip->unregistration_lock
TYPE_LOCK		(struct ib_device)->unregistration_lock

drivers/infiniband/core/device.c rdma_dev_pick_netns_name() -> rdma_dev_name_in_netns()

Type	Parameter	Key	Value
PARAM_VALUE	0	skip	4096-ptr_max
PARAM_VALUE	0	skip->client_data_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	skip->client_data_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	skip->unreg_completion.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unreg_completion.wait.lock.owner	(-1)
PARAM_VALUE	0	skip->unreg_completion.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	skip->unregistration_lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unregistration_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	skip->unregistration_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.owner	(-1)
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	net	4096-ptr_max
BUF_SIZE	2	name	1-s32max
CAPPED_DATA	0	skip	1
CAPPED_DATA	0	skip->coredev.rdma_net.net	1
CAPPED_DATA	1	net	1
DATA_SOURCE	0	skip	$0
DATA_SOURCE	1	net	$1
STR_LEN	0	skip	(-1),7
STR_LEN	0	skip	(-1),7
RX_PATH
TASK_NOT_RUNNING
LOCK2		global &devices_rwsem
LOCK2	0	&skip->unregistration_lock
TYPE_LOCK		(struct ib_device)->unregistration_lock

drivers/infiniband/core/device.c rdma_dev_pick_netns_name() -> rdma_dev_name_in_netns()

Type	Parameter	Key	Value
PARAM_VALUE	0	skip	4096-ptr_max
PARAM_VALUE	0	skip->client_data.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	skip->client_data_rwsem.dep_map->name	0-255
PARAM_VALUE	0	skip->client_data_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	skip->client_data_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	skip->client_data_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	skip->client_data_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	skip->client_data_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	skip->compat_devs.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	skip->compat_devs_mutex.dep_map->name	0-255
PARAM_VALUE	0	skip->compat_devs_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	skip->compat_devs_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	skip->compat_devs_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	skip->compat_devs_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	skip->compat_devs_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	skip->compat_devs_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	skip->compat_devs_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	skip->unreg_completion.done	0-4294967293,u32max
PARAM_VALUE	0	skip->unreg_completion.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unreg_completion.wait.lock.owner	(-1)
PARAM_VALUE	0	skip->unreg_completion.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	skip->unreg_completion.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	skip->unreg_completion.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	skip->unregistration_lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unregistration_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	skip->unregistration_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.owner	(-1)
PARAM_VALUE	0	skip->unregistration_lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	net	4096-ptr_max
PARAM_VALUE	2	name	2029382829823791104
BUF_SIZE	2	name	64
BUF_SIZE	2	name	64
CAPPED_DATA	0	skip	1
CAPPED_DATA	0	skip->coredev.rdma_net.net	1
CAPPED_DATA	1	net	1
DATA_SOURCE	0	skip	$0
DATA_SOURCE	1	net	$1
DATA_SOURCE	2	name	$4
STR_LEN	0	skip	(-1),7
STR_LEN	0	skip	(-1),7
STR_LEN	1	net	63
STR_LEN	2	name	63
RX_PATH
TASK_NOT_RUNNING
LOCK2		global &devices_rwsem
LOCK2	0	&skip->unregistration_lock
HALF_LOCKED2		global &pernet_ops_rwsem
TYPE_LOCK		(struct ib_device)->unregistration_lock