Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/core/umem_odp.c ib_umem_odp_alloc_implicit() -> ib_access_writable()

Type Parameter Key Value
PARAM_VALUE 0 access_flags s32min-(-1),64-s32max
DATA_SOURCE 0 access_flags $1
BIT_INFO 0 access_flags 0x40,0x7fffff7f
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 access_flags s32min-(-1),64-s32max

drivers/infiniband/core/umem_odp.c ib_umem_odp_get() -> ib_access_writable()

Type Parameter Key Value
PARAM_VALUE 0 access_flags s32min-(-1),64-s32max
DATA_SOURCE 0 access_flags $3
BIT_INFO 0 access_flags 0x40,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 access_flags s32min-(-1),64-s32max

drivers/infiniband/core/umem.c __ib_umem_get_va() -> ib_access_writable()

Type Parameter Key Value
DATA_SOURCE 0 access_flags $3
BIT_INFO 0 access_flags 0x0,0xffffffbf
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 access_flags s32min-s32max
HALF_LOCKED2 &context->db_page_mutex

drivers/infiniband/core/umem.c ib_umem_check_rereg() -> ib_access_writable()

Type Parameter Key Value
DATA_SOURCE 0 access_flags $2
USER_DATA 0 access_flags s32min-s32max
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/hw/mlx4/mr.c mlx4_get_umem_mr() -> ib_access_writable()

Type Parameter Key Value
DATA_SOURCE 0 access_flags $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 access_flags s32min-s32max

drivers/infiniband/hw/mlx4/mr.c mlx4_ib_rereg_user_mr() -> ib_access_writable()

Type Parameter Key Value
DATA_SOURCE 0 access_flags $5
USER_DATA 0 access_flags s32min-s32max
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/umem_dmabuf.c ib_umem_dmabuf_get_with_dma_device() -> ib_access_writable()

Type Parameter Key Value
DATA_SOURCE 0 access_flags $5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 access_flags s32min-s32max