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 handle_remove() -> (struct mmu_rb_ops)->remove()

Type Parameter Key Value
PARAM_VALUE 1 mnode 4096-ptr_max
BUF_SIZE 0 arg 640
CONTAINER 0 *(-8-152+144) $(-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/hfi1/mmu_rb.c release_immediate() -> (struct mmu_rb_ops)->remove()

Type Parameter Key Value
PARAM_VALUE 1 mnode 4096-ptr_max
PARAM_VALUE 1 mnode->handler 4096-ptr_max
PARAM_VALUE 1 mnode->handler->ops 4096-ptr_max
BUF_SIZE 0 arg 640
CONTAINER 0 *(-8-152+144) $(-1)
CONTAINER 1 -8-152-48+0 $(-1)
NOCHECK_CALL