Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/sw/rxe/rxe_mr.c rxe_flush_pmem_iova() -> is_odp_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/infiniband/sw/rxe/rxe_mr.c rxe_mr_copy() -> is_odp_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
CAPPED_DATA 0 mr->ibmr.iova 1
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx5/mr.c __mlx5_ib_dereg_mr() -> is_odp_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 0 mr->umem 4096-ptr_max
DATA_SOURCE 0 mr r to_mmr
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->data_direct_lock

drivers/infiniband/hw/mlx5/mr.c mlx5_ib_rereg_user_mr() -> is_odp_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 0 mr->umem 4096-ptr_max
DATA_SOURCE 0 mr r to_mmr
BIT_INFO 0 mr->ibmr.frmr.key.kernel_vendor_key 0x0,0xffffffffff00ffff
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/hw/mlx5/mr.c mlx5_ib_rereg_user_mr() -> is_odp_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 0 mr->umem 4096-ptr_max
DATA_SOURCE 0 mr r to_mmr
BIT_INFO 0 mr->ibmr.frmr.key.kernel_vendor_key 0x0,0xffffffffff00ffff
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/hw/mlx5/mr.c mlx5_umr_revoke_mr_with_lock() -> is_odp_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 0 mr->umem 4096-ptr_max
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->data_direct_lock

drivers/infiniband/hw/mlx5/mr.c mlx5r_handle_mkey_cleanup() -> is_odp_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 0 mr->umem 4096-ptr_max
DATA_SOURCE 0 mr $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->data_direct_lock

drivers/infiniband/sw/rxe/rxe_resp.c atomic_reply() -> is_odp_mr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/sw/rxe/rxe_resp.c atomic_write_reply() -> is_odp_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING