Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/vdpa/vdpa_sim/vdpa_sim_net.c vdpasim_net_exit() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 mdev 745812156015816704
NOCHECK_CALL

drivers/vdpa/mlx5/net/mlx5_vnet.c mlx5v_remove() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/vdpa/virtio_pci/vp_vdpa.c vp_vdpa_remove() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vdpa/ifcvf/ifcvf_main.c ifcvf_remove() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vdpa/vdpa_user/vduse_dev.c vduse_mgmtdev_exit() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 mdev 0,4096-ptr_max
NOCHECK_CALL

drivers/vdpa/pds/aux_drv.c pds_vdpa_remove() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/vdpa/vdpa_sim/vdpa_sim_blk.c vdpasim_blk_exit() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 mdev 5084815930957443072
NOCHECK_CALL

drivers/vdpa/vdpa_sim/vdpa_sim_blk.c vdpasim_blk_init() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 mdev 5084815930957443072
PARAM_VALUE 0 mdev->device 4096-ptr_max
PARAM_VALUE 0 mdev->list.next 4096-ptr_max
PARAM_VALUE 0 mdev->list.prev 4096-ptr_max
PARAM_VALUE 0 mdev->ops 4686911324032651264
NOCHECK_CALL

drivers/vdpa/octeon_ep/octep_vdpa_main.c octep_vdpa_remove_vf() -> vdpa_mgmtdev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex