Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rds/ib.c rds_ib_add_one() -> rds_ib_create_mr_pool()

Type Parameter Key Value
PARAM_VALUE 0 rds_ibdev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.next->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->dev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->dev->attrs.device_cap_flags 2097152-u64max
PARAM_VALUE 0 rds_ibdev->dev->attrs.kernel_cap_flags 4-u64max
PARAM_VALUE 0 rds_ibdev->dev->attrs.odp_caps.per_transport_caps.rc_odp_caps 4-u32max
PARAM_VALUE 0 rds_ibdev->dev->client_data_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 rds_ibdev->dev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 rds_ibdev->dev->node_type 1
PARAM_VALUE 0 rds_ibdev->ipaddr_list.next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->ipaddr_list.next->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->ipaddr_list.prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->ipaddr_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->ipaddr_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->max_sge 0-8
PARAM_VALUE 0 rds_ibdev->pd 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->device 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 rds_ibdev->pd->flags 0
PARAM_VALUE 0 rds_ibdev->pd->res.comp.done 0
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.kern_name 721450307168702464
PARAM_VALUE 0 rds_ibdev->pd->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 rds_ibdev->pd->res.type 0
PARAM_VALUE 0 rds_ibdev->refcount.refs.counter 1
PARAM_VALUE 0 rds_ibdev->vector_load 16,4096-ptr_max
PARAM_VALUE 1 pool_type 1
BUF_SIZE 0 rds_ibdev 280
BUF_SIZE 0 rds_ibdev->pd s32min-s32max
BUF_SIZE 0 rds_ibdev->pd->res.kern_name 9
BUF_SIZE 0 rds_ibdev->vector_load 0-u64max
CAPPED_DATA 0 rds_ibdev->max_sge 1
DATA_SOURCE 0 rds_ibdev r _kmalloc_node_noprof
STR_LEN 0 rds_ibdev->dev (-1),6-9,11-12
STR_LEN 0 rds_ibdev->pd->device (-1),6-9,11-12
STR_LEN 0 rds_ibdev->pd->res.kern_name 8
TERMINATED 0 rds_ibdev->pd->res.kern_name 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 rds_ibdev->dev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 rds_ibdev->dev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 rds_ibdev->pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 rds_ibdev->pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 rds_ibdev->pd->device->phys_port_cnt
LOCK2 &device->client_data_rwsem
LOCK2 global &clients_rwsem
LOCK2 global &devices_rwsem
HALF_LOCKED2 &device->unregistration_lock
TYPE_LOCK (struct ib_device)->client_data_rwsem

net/rds/ib.c rds_ib_add_one() -> rds_ib_create_mr_pool()

Type Parameter Key Value
PARAM_VALUE 0 rds_ibdev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.next->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->conn_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->dev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->dev->attrs.device_cap_flags 2097152-u64max
PARAM_VALUE 0 rds_ibdev->dev->attrs.kernel_cap_flags 4-u64max
PARAM_VALUE 0 rds_ibdev->dev->attrs.odp_caps.per_transport_caps.rc_odp_caps 4-u32max
PARAM_VALUE 0 rds_ibdev->dev->client_data_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 rds_ibdev->dev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 rds_ibdev->dev->node_type 1
PARAM_VALUE 0 rds_ibdev->ipaddr_list.next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->ipaddr_list.next->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->ipaddr_list.prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->ipaddr_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->ipaddr_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->max_sge 0-8
PARAM_VALUE 0 rds_ibdev->mr_1m_pool 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->clean_list.first 0
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->drop_list.first 0
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->flush_lock.dep_map->name 0-255
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->flush_lock.magic 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->flush_wait.head.next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->flush_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->flush_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->flush_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->free_list.first 0
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->max_free_pinned 0-275951648703
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->max_items 0-u32max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->max_items_soft 0-u32max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->max_pages 257
PARAM_VALUE 0 rds_ibdev->mr_1m_pool->pool_type 1
PARAM_VALUE 0 rds_ibdev->pd 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->device 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 rds_ibdev->pd->flags 0
PARAM_VALUE 0 rds_ibdev->pd->res.comp.done 0
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->pd->res.kern_name 721450307168702464
PARAM_VALUE 0 rds_ibdev->pd->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 rds_ibdev->pd->res.type 0
PARAM_VALUE 0 rds_ibdev->refcount.refs.counter 1
PARAM_VALUE 0 rds_ibdev->vector_load 16,4096-ptr_max
PARAM_VALUE 1 pool_type 0
BUF_SIZE 0 rds_ibdev 280
BUF_SIZE 0 rds_ibdev->mr_1m_pool 576
BUF_SIZE 0 rds_ibdev->pd s32min-s32max
BUF_SIZE 0 rds_ibdev->pd->res.kern_name 9
BUF_SIZE 0 rds_ibdev->vector_load 0-u64max
CAPPED_DATA 0 rds_ibdev->max_sge 1
DATA_SOURCE 0 rds_ibdev r _kmalloc_node_noprof
STR_LEN 0 rds_ibdev->dev (-1),6-9,11-12
STR_LEN 0 rds_ibdev->pd->device (-1),6-9,11-12
STR_LEN 0 rds_ibdev->pd->res.kern_name 8
TERMINATED 0 rds_ibdev->pd->res.kern_name 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 rds_ibdev->dev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 rds_ibdev->dev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 rds_ibdev->pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 rds_ibdev->pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 rds_ibdev->pd->device->phys_port_cnt
LOCK2 &device->client_data_rwsem
LOCK2 global &clients_rwsem
LOCK2 global &devices_rwsem
HALF_LOCKED2 &device->unregistration_lock
TYPE_LOCK (struct ib_device)->client_data_rwsem