Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/security.c ib_security_cache_change() -> check_pkey_qps()

Type Parameter Key Value
PARAM_VALUE 1 device 4096-ptr_max
PARAM_VALUE 1 device->cache_lock.dep_map->name 0-255
PARAM_VALUE 1 device->port_data 4096-ptr_max
PARAM_VALUE 1 device->port_data->cache.last_port_state 1,4
PARAM_VALUE 1 device->port_data->immutable.pkey_tbl_len 0-u16max
BUF_SIZE 1 device->dev.parent (-1),1616
BUF_SIZE 1 device->driver_def (-1),32,112
CAPPED_DATA 2 port_num 1
DATA_SOURCE 1 device $0
DATA_SOURCE 2 port_num $1
DATA_SOURCE 3 subnet_prefix $2
STR_LEN 0 pkey (-1),6-9,11-12
STR_LEN 1 device (-1),6-9,11-12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 device->num_comp_vectors
UNITS 2 port_num unit_array_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &devices_rwsem