Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/umr.c mlx5r_umr_update_xlt() -> mlx5_odp_populate_xlt()

Type Parameter Key Value
PARAM_VALUE 0 xlt 16,4096-ptr_max
PARAM_VALUE 2 nentries 0-262128
PARAM_VALUE 3 mr 4096-ptr_max
PARAM_VALUE 3 mr->access_flags 1048576-s32max
PARAM_VALUE 3 mr->umem 4096-ptr_max
PARAM_VALUE 3 mr->umem->is_odp 1
PARAM_VALUE 4 flags 3-6,67-68,132,134
BUF_SIZE 0 xlt 0,4096-1048576
BUF_SIZE 0 xlt 0,4096-1048576
BUF_SIZE 3 mr (-1),784
BUF_SIZE 3 mr (-1),784
BUF_SIZE 3 mr->ibmr.device (-1),5000
BUF_SIZE 3 mr->ibmr.pd (-1),16,24,32,40,56,64,176,232,264,280,352,536,680
BUF_SIZE 3 mr->umem (-1),88
CAPPED_DATA 0 xlt 1
CAPPED_DATA 2 nentries 1
DATA_SOURCE 0 xlt r mlx5r_umr_create_xlt
DATA_SOURCE 1 idx $1 [m]
DATA_SOURCE 3 mr $0
DATA_SOURCE 4 flags $4
NOSPEC 2 nentries
NOSPEC 2 nentries
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xlt->va 0,1073741824,17179869184[c]
USER_DATA 1 idx 0-u64max[c]
USER_DATA 2 nentries 1-262128[c]
USER_DATA 3 mr->access_flags 1048576-s32max
USER_DATA 3 mr->ibmr.frmr.key.ats 0-1[c]
USER_DATA 3 mr->ibmr.iova 0-u64max
USER_DATA 3 mr->ibmr.length 0-u64max
USER_DATA 3 mr->umem->address 0-u64max
USER_DATA 3 mr->umem->iova 0-u64max
USER_DATA 3 mr->umem->length 0-u64max
USER_DATA 3 mr->umem->writable 0-1[c]
HALF_LOCKED2 &odp_imr->umem_mutex
HALF_LOCKED2 &umem_odp->umem_mutex