Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/device.c ib_query_pkey() -> (struct ib_device_ops)->query_pkey()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 0 ibdev->client_data_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ibdev->client_data_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ibdev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ibdev->ops.query_pkey 1-u64max
PARAM_VALUE 0 ibdev->port_data->cache.last_port_state 1,4
PARAM_VALUE 0 ibdev->port_data->immutable.pkey_tbl_len 0-u16max
PARAM_VALUE 3 pkey 4096-ptr_max
BUF_SIZE 0 ibdev->dev.parent (-1),1616
BUF_SIZE 0 ibdev->driver_def (-1),32,112
CAPPED_DATA 1 port 1
DATA_SOURCE 0 ibdev $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 index $2
DATA_SOURCE 3 pkey $3
STR_LEN 0 ibdev (-1),6-9,11-12,15
STR_LEN 0 ibdev (-1),6-9,11-12,15
STR_LEN 1 port (-1),4
CONTAINER 0 -224-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ibdev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibdev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibdev->phys_port_cnt
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &ibdev->client_data_rwsem
HALF_LOCKED2 0 &ibdev->unregistration_lock