Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/odp.c mlx5_ib_mr_memory_pfault_handler() -> pagefault_mr()

Type Parameter Key Value
PARAM_VALUE 2 bcnt 0-u32max
PARAM_VALUE 3 bytes_mapped 0
PARAM_VALUE 4 flags 0
PARAM_VALUE 5 permissive_fault 1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx5/odp.c mlx5_ib_mr_memory_pfault_handler() -> pagefault_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 3 bytes_mapped 0
PARAM_VALUE 4 flags 0
PARAM_VALUE 5 permissive_fault 1
CAPPED_DATA 0 mr->ibmr.iova 1
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx5/odp.c mlx5_ib_prefetch_mr_work() -> pagefault_mr()

Type Parameter Key Value
PARAM_VALUE 3 bytes_mapped 7141318989533032448
PARAM_VALUE 5 permissive_fault 0
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx5/odp.c mlx5_ib_prefetch_sg_list() -> pagefault_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 0 mr->ibmr.pd 4096-ptr_max
PARAM_VALUE 0 mr->umem 4096-ptr_max
PARAM_VALUE 2 bcnt 0-u32max
PARAM_VALUE 3 bytes_mapped 171082167382650880
PARAM_VALUE 4 flags 0,2,4
PARAM_VALUE 5 permissive_fault 0
BUF_SIZE 0 mr->ibmr.pd (-1),16,24,32,40,56,64,232,264,280,352,536,680
CAPPED_DATA 0 mr->ibmr.pd 1
DATA_SOURCE 0 mr r get_prefetchable_mr
DATA_SOURCE 4 flags $2
FUZZY_MAX 4 flags 0
BIT_INFO 4 flags 0x0,0x6
RX_PATH
TASK_NOT_RUNNING
UNITS 1 io_virt unit_byte
UNITS 2 bcnt unit_byte

drivers/infiniband/hw/mlx5/odp.c pagefault_single_data_segment() -> pagefault_mr()

Type Parameter Key Value
PARAM_VALUE 0 mr 4096-ptr_max
PARAM_VALUE 3 bytes_mapped 0,1552106560279982080
PARAM_VALUE 4 flags 0
PARAM_VALUE 5 permissive_fault 0
DATA_SOURCE 1 io_virt $3 [m]
DATA_SOURCE 2 bcnt $4 [m]
DATA_SOURCE 3 bytes_mapped $6
UNITS 1 io_virt unit_byte
UNITS 2 bcnt unit_byte
HALF_LOCKED2 &pool->lock