Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_ex_create_flow() -> kern_spec_to_ib_spec()

Type Parameter Key Value
PARAM_VALUE 0 attrs 4096-ptr_max
PARAM_VALUE 0 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 0 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 0 attrs->ucore.inlen 24-524280,18446744073709551608-u64max
PARAM_VALUE 0 attrs->ucore.outlen 0-524280
PARAM_VALUE 0 attrs->ufile 4096-ptr_max
PARAM_VALUE 0 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 0 attrs->ufile->device->disassociate_srcu.dep_map->name 0-255
PARAM_VALUE 0 attrs->ufile->device->disassociate_srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 attrs->ufile->device->ib_dev 1-u64max
PARAM_VALUE 0 attrs->ufile->hw_destroy_rwsem.dep_map->name 0-255
PARAM_VALUE 0 attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 attrs->ufile->hw_destroy_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 attrs->ufile->idr.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 attrs->ufile->ucontext 4096-ptr_max
PARAM_VALUE 0 attrs->uobject 0
PARAM_VALUE 1 kern_spec 4096-ptr_max
PARAM_VALUE 3 uflow_res 4096-ptr_max
PARAM_VALUE 3 uflow_res->collection 4096-ptr_max
PARAM_VALUE 3 uflow_res->counters 4096-ptr_max
PARAM_VALUE 3 uflow_res->max 1-10
BUF_SIZE 1 kern_spec 0-880,u64max
BUF_SIZE 1 kern_spec 0-880,u64max
BUF_SIZE 3 uflow_res 48
CAPPED_DATA 0 attrs->ufile->device->disassociate_srcu.srcu_ctrp 1
CAPPED_DATA 1 kern_spec->size 1
DATA_SOURCE 0 attrs $0
DATA_SOURCE 3 uflow_res r flow_resources_alloc
HARD_MAX 3 uflow_res->max 10
USER_DATA 0 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 0 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 0 attrs->ucore.inlen 24-524280,18446744073709551608-u64max
USER_DATA 0 attrs->ucore.outlen 0-524280
USER_DATA 3 uflow_res->max 1-10
UNITS 1 kern_spec unit_byte
HALF_LOCKED2 &file->device->disassociate_srcu