Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/mr.c create_real_mr() -> alloc_cacheable_mr()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 1 umem 4096-ptr_max
PARAM_VALUE 4 access_mode 1
BUF_SIZE 0 pd (-1),1-s32max
BUF_SIZE 0 pd (-1),1-s32max
BUF_SIZE 1 umem (-1),88
BUF_SIZE 1 umem (-1),88
CAPPED_DATA 1 umem 1
DATA_SOURCE 0 pd $0
DATA_SOURCE 1 umem $1
DATA_SOURCE 2 iova $2
DATA_SOURCE 3 access_flags $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 umem->address 0-u64max[c]
USER_DATA 1 umem->iova 0-u64max[c]
USER_DATA 1 umem->length 0,8-u64max
USER_DATA 1 umem->sgt_append.prv->length 0-u32max[c]
USER_DATA 1 umem->sgt_append.prv->offset 0-4095[c]
USER_DATA 1 umem->writable 0-1[c]
USER_DATA 2 iova 0-u64max
USER_DATA 3 access_flags s32min-s32max
UNITS 2 iova unit_byte

drivers/infiniband/hw/mlx5/mr.c create_user_odp_mr() -> alloc_cacheable_mr()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 1 umem 4096-ptr_max
PARAM_VALUE 1 umem->ibdev 4096-ptr_max
PARAM_VALUE 1 umem->is_odp 1
PARAM_VALUE 1 umem->owning_mm 4096-ptr_max
PARAM_VALUE 3 access_flags s32min-(-1),64-s32max
PARAM_VALUE 4 access_mode 1
PARAM_VALUE 5 st_index 0
PARAM_VALUE 6 ph 255
BUF_SIZE 0 pd (-1),1-s32max
BUF_SIZE 0 pd (-1),1-s32max
DATA_SOURCE 0 pd $0
DATA_SOURCE 2 iova $3
DATA_SOURCE 3 access_flags $4
BIT_INFO 3 access_flags 0x40,0x7fffffff
NOSPEC 1 umem->address
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 umem->address 0-u64max
USER_DATA 1 umem->length 0-u64max
USER_DATA 1 umem->writable 0-1[c]
USER_DATA 2 iova 0-u64max
USER_DATA 3 access_flags s32min-(-1),64-s32max

drivers/infiniband/hw/mlx5/mr.c reg_user_mr_dmabuf() -> alloc_cacheable_mr()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 0 pd->device 4096-ptr_max
PARAM_VALUE 0 pd->device->ops.reg_user_mr_dmabuf 1-u64max
PARAM_VALUE 1 umem 4096-ptr_max
PARAM_VALUE 3 access_flags 0-1073741822
PARAM_VALUE 4 access_mode 1,3
BUF_SIZE 0 pd (-1),1-s32max
BUF_SIZE 0 pd (-1),1-s32max
DATA_SOURCE 0 pd $0
DATA_SOURCE 2 iova $4
DATA_SOURCE 3 access_flags $6
DATA_SOURCE 4 access_mode $7
BIT_INFO 4 access_mode 0x1,0x3
HARD_MAX 4 access_mode 3
HALF_LOCKED2 &dev->data_direct_lock