Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_provider.c mthca_alloc_ucontext() -> mthca_cleanup_user_db_tab()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 uar 4096-ptr_max
PARAM_VALUE 1 uar->index s32min-(-2),0-s32max
PARAM_VALUE 1 uar->pfn 0-4503601774854142
PARAM_VALUE 2 db_tab 0,4096-ptr_max
PARAM_VALUE 2 db_tab->mutex.dep_map->name 0-255
PARAM_VALUE 2 db_tab->mutex.first_waiter 0
PARAM_VALUE 2 db_tab->mutex.osq.tail.counter 0
PARAM_VALUE 2 db_tab->mutex.owner.counter 0
BUF_SIZE 2 db_tab s32min-s32max
DATA_SOURCE 2 db_tab r mthca_init_user_db_tab
NOCHECK_CALL
LOCK2 &file->hw_destroy_rwsem
LOCK2 &file->ucontext_lock
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->ucontext_lock

drivers/infiniband/hw/mthca/mthca_provider.c mthca_dealloc_ucontext() -> mthca_cleanup_user_db_tab()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 uar 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ufile->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem