Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/mmu_rb.c hfi1_mmu_rb_evict() -> (struct mmu_rb_ops)->evict()

Type Parameter Key Value
PARAM_VALUE 1 mnode 4096-ptr_max
PARAM_VALUE 1 mnode->refcount.refcount.refs.counter 0-1
PARAM_VALUE 2 evict_arg 1682376442979991552
PARAM_VALUE 3 stop 5710993596332072960
PARAM_VALUE 3 *stop 0
BUF_SIZE 0 arg 640
BUF_SIZE 2 evict_arg 8
BUF_SIZE 2 evict_arg 8
CAPPED_DATA 1 &mnode->list 1
DATA_SOURCE 2 evict_arg $1
CONTAINER 0 *(-16-152+144) $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fd->pq_srcu
LOCK2 &handler->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hfi1_filedata)->pq_srcu
TYPE_LOCK (struct mmu_rb_handler)->lock