Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/frmr_pools.c get_frmr_from_pool() -> (struct ib_frmr_pool_ops)->create_frmrs()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->frmr_pools 4096-ptr_max
PARAM_VALUE 0 device->frmr_pools->pool_ops 4096-ptr_max
PARAM_VALUE 0 device->frmr_pools->rb_lock.dep_map->name 0-255
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 2 handles 3834895057613430784
PARAM_VALUE 3 count 1
DATA_SOURCE 0 device $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 key->ats 0-1[c]

drivers/infiniband/core/frmr_pools.c ib_frmr_pools_set_pinned() -> (struct ib_frmr_pool_ops)->create_frmrs()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->frmr_pools 4096-ptr_max
PARAM_VALUE 0 device->frmr_pools->pool_ops 4096-ptr_max
PARAM_VALUE 0 device->frmr_pools->pool_ops->build_key 8978817397382242304
PARAM_VALUE 0 device->frmr_pools->rb_lock.dep_map->name 0-255
PARAM_VALUE 0 device->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 key 4023872224637939712
PARAM_VALUE 1 key->access_flags 0,2-1073741822
PARAM_VALUE 1 key->kernel_vendor_key 0
PARAM_VALUE 2 handles 16,4096-ptr_max
PARAM_VALUE 3 count 1-u32max
BUF_SIZE 2 handles 4
DATA_SOURCE 0 device $0
DATA_SOURCE 2 handles r _kmalloc_array_noprof
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 3 count
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read