Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_verbs.c erdma_alloc_ucontext() -> alloc_db_resources()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->dbrecords_page_list.next 4096-ptr_max
PARAM_VALUE 1 ctx->dbrecords_page_list.next->next 4096-ptr_max
PARAM_VALUE 1 ctx->dbrecords_page_list.prev 4096-ptr_max
PARAM_VALUE 1 ctx->dbrecords_page_list.prev->next 4096-ptr_max
PARAM_VALUE 1 ctx->dbrecords_page_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx->dbrecords_page_mutex.dep_map->name 0-255
PARAM_VALUE 1 ctx->dbrecords_page_mutex.first_waiter 0
PARAM_VALUE 1 ctx->dbrecords_page_mutex.magic 4096-ptr_max
PARAM_VALUE 1 ctx->dbrecords_page_mutex.owner.counter 0
DATA_SOURCE 0 dev r to_edev
DATA_SOURCE 1 ctx r to_ectx
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