Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/devx.c mlx5_ib_ufile_hw_cleanup() -> devx_async_destroy()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->async_ctx.dev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->async_ctx.dev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->async_ctx.dev->pdev->bus->self->link_bwctrl->cdev (-22),(-19),(-12),0,4096-s64max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->uobject 4096-ptr_max
DATA_SOURCE 0 dev r to_mdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ufile->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem