Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/frmr_pools.c ib_frmr_pool_pop() -> get_frmr_from_pool()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->frmr_pools 4096-ptr_max
PARAM_VALUE 0 device->frmr_pools->rb_lock.dep_map->name 0-255
PARAM_VALUE 1 pool 1-u64max
PARAM_VALUE 2 mr 4096-ptr_max
PARAM_VALUE 2 mr->frmr.key.access_flags 0,8,1048576,1048584
PARAM_VALUE 2 mr->frmr.key.kernel_vendor_key 0-16777215
PARAM_VALUE 2 mr->frmr.key.vendor_key 0-1
BUF_SIZE 1 pool (-1),400
BUF_SIZE 1 pool (-1),400
DATA_SOURCE 0 device $0
DATA_SOURCE 2 mr $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pool->key.ats 0-1[c]
USER_DATA 2 mr->frmr.key.ats 0-1[c]