Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/nldev.c nldev_frmr_pools_set_doit() -> nldev_frmr_pools_set_pinned()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 tb 4096-ptr_max
PARAM_VALUE 1 (*tb).nla_len 0
PARAM_VALUE 1 (*tb).nla_type 0
PARAM_VALUE 2 extack 3295410316986003456
PARAM_VALUE 2 extack->bad_attr 0
PARAM_VALUE 2 extack->cookie_len 0
PARAM_VALUE 2 extack->miss_nest 0
PARAM_VALUE 2 extack->miss_type 0
PARAM_VALUE 2 extack->policy 0
BUF_SIZE 1 tb 952
BUF_SIZE 1 tb 952
DATA_SOURCE 0 device r ib_device_get_by_index
DATA_SOURCE 1 tb r _kzalloc_noprof
DATA_SOURCE 2 extack $2
RX_PATH
TASK_NOT_RUNNING
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