Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rds/ib_rdma.c rds_ib_destroy_mr_pool() -> rds_ib_flush_mr_pool()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->flush_worker.work.lockdep_map->name 0-255
PARAM_VALUE 1 free_all 1
PARAM_VALUE 2 ibmr_ret 0
DATA_SOURCE 0 pool $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/rds/ib_rdma.c rds_ib_flush_mrs() -> rds_ib_flush_mr_pool()

Type Parameter Key Value
PARAM_VALUE 0 pool 1-u64max
PARAM_VALUE 1 free_all 0
PARAM_VALUE 2 ibmr_ret 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rds_ib_devices_lock

net/rds/ib_rdma.c rds_ib_flush_mrs() -> rds_ib_flush_mr_pool()

Type Parameter Key Value
PARAM_VALUE 0 pool 1-u64max
PARAM_VALUE 1 free_all 0
PARAM_VALUE 2 ibmr_ret 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rds_ib_devices_lock

net/rds/ib_rdma.c rds_ib_free_mr() -> rds_ib_flush_mr_pool()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dirty_count.counter s32min-(-2),0-s32max
PARAM_VALUE 0 pool->free_pinned.counter s32min-(-2),0-s32max
PARAM_VALUE 0 pool->max_free_pinned 1-u64max
PARAM_VALUE 1 free_all 0
PARAM_VALUE 2 ibmr_ret 0
CAPPED_DATA 0 pool->max_free_pinned 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/rds/ib_rdma.c rds_ib_mr_pool_flush_worker() -> rds_ib_flush_mr_pool()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 1 free_all 0
PARAM_VALUE 2 ibmr_ret 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/rds/ib_rdma.c rds_ib_try_reuse_ibmr() -> rds_ib_flush_mr_pool()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->clean_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->max_items 0-18446744073709551614
PARAM_VALUE 1 free_all 0
PARAM_VALUE 2 ibmr_ret 6593863867964723200
PARAM_VALUE 2 *ibmr_ret 0
CAPPED_DATA 0 pool->max_items 1
DATA_SOURCE 0 pool $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL