Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/device.c ib_policy_change_task() -> ib_security_cache_change()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->cache_lock.dep_map->name 0-255
PARAM_VALUE 0 device->port_data 4096-ptr_max
CAPPED_DATA 1 port_num 1
NOCHECK_CALL
LOCK2 global &devices_rwsem
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cache.c ib_cache_update() -> ib_security_cache_change()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->cache_lock.dep_map->name 0-255
PARAM_VALUE 0 device->cache_lock.owner (-1)
PARAM_VALUE 0 device->cache_lock.owner_cpu u32max
PARAM_VALUE 0 device->cache_lock.raw_lock.wlocked 0
PARAM_VALUE 0 device->port_data 4096-ptr_max
PARAM_VALUE 0 device->port_data->cache.last_port_state 1,4
PARAM_VALUE 0 device->port_data->immutable.pkey_tbl_len 0-u16max
BUF_SIZE 0 device->dev.parent (-1),1616
BUF_SIZE 0 device->driver_def (-1),32,112
CAPPED_DATA 1 port_num 1
DATA_SOURCE 0 device $0
DATA_SOURCE 1 port_num $1
STR_LEN 0 device (-1),6-9,11-12
STR_LEN 0 device (-1),6-9,11-12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 device->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 device->dev.parent->kobj.release.cpu s32min-s32max
HOST_DATA 0 device->dev.parent->kobj.release.timer.expires 0-u64max
HOST_DATA 0 device->dev.parent->kobj.release.timer.flags 0-u32max
HOST_DATA 0 device->dev.parent->kobj.release.work.data.counter s64min-s64max
HOST_DATA 0 device->dev.parent->kobj.state_add_uevent_sent 0-1
HOST_DATA 0 device->dev.parent->kobj.state_in_sysfs 0-1
HOST_DATA 0 device->dev.parent->kobj.state_initialized 0-1
HOST_DATA 0 device->dev.parent->kobj.state_remove_uevent_sent 0-1
HOST_DATA 0 device->dev.parent->kobj.uevent_suppress 0-1
HOST_DATA 0 device->phys_port_cnt 0-u32max
NO_OVERFLOW_SIMPLE 0 device->num_comp_vectors
UNITS 1 port_num unit_array_size