Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vdpa/mlx5/net/mlx5_vnet.c change_num_qps() -> is_resumable()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
LOCK2 &ndev->reslock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mlx5_vdpa_net)->reslock

drivers/vdpa/mlx5/net/mlx5_vnet.c mlx5_vdpa_change_map() -> is_resumable()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->mutex
LOCK2 &ndev->reslock
HALF_LOCKED2 &dev->mm->mmap_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mlx5_vdpa_net)->reslock
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vdpa/mlx5/net/mlx5_vnet.c modify_virtqueues() -> is_resumable()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
BUF_SIZE 0 ndev->cvq_ent.mvdev (-1),2752
BUF_SIZE 0 ndev->event_cbs (-1),24-3145704
BUF_SIZE 0 ndev->vqs (-1)-141555600
DATA_SOURCE 0 ndev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ndev->cur_num_vqs
HALF_LOCKED2 &d->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ndev->reslock

drivers/vdpa/mlx5/net/mlx5_vnet.c resume_vqs() -> is_resumable()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
DATA_SOURCE 0 ndev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ndev->cur_num_vqs
HALF_LOCKED2 &d->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &vdev->cf_lock
HALF_LOCKED2 0 &ndev->reslock