Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlx5/core/main.c mlx5_cleanup_once() -> mlx5_vxlan_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->intf_state_mutex
HALF_LOCKED2 &devlink->lock
TYPE_LOCK (struct mlx5_core_dev)->intf_state_mutex

drivers/net/ethernet/mellanox/mlx5/core/main.c mlx5_init_once() -> mlx5_vxlan_destroy()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max,(-95),(-12)
PARAM_VALUE 0 vxlan->mdev 4096-ptr_max
PARAM_VALUE 0 vxlan->mdev->caps.embedded_cpu 0-1
PARAM_VALUE 0 vxlan->mdev->clock s64min-(-1),1-s64max
PARAM_VALUE 0 vxlan->mdev->cmd.alloc_size 4096,8191
PARAM_VALUE 0 vxlan->mdev->cmd.allowed_opcode 0
PARAM_VALUE 0 vxlan->mdev->cmd.cmd_alloc_buf s64min-(-4096),1-s64max
PARAM_VALUE 0 vxlan->mdev->cmd.dbg.dbg_root s64min-(-1),4096-s64max
PARAM_VALUE 0 vxlan->mdev->cmd.pool s64min-(-4096),4096-s64max
PARAM_VALUE 0 vxlan->mdev->cmd.state 1
PARAM_VALUE 0 vxlan->mdev->cmd.vars.cmdif_rev 5
PARAM_VALUE 0 vxlan->mdev->cmd.vars.log_stride 0-12
PARAM_VALUE 0 vxlan->mdev->cmd.vars.log_sz 0-15
PARAM_VALUE 0 vxlan->mdev->cmd.vars.privileged_uids.xa_head 0
PARAM_VALUE 0 vxlan->mdev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 vxlan->mdev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 vxlan->mdev->device s64min-(-4096),0,4096-s64max
PARAM_VALUE 0 vxlan->mdev->intf_state_mutex.first_waiter s64min-(-4096),0,4096-s64max
PARAM_VALUE 0 vxlan->mdev->intf_state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vxlan->mdev->intf_state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 vxlan->mdev->intf_state_mutex.wait_lock.owner_cpu 4294967295
PARAM_VALUE 0 vxlan->mdev->intf_state_mutex.wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 vxlan->mdev->issi 0-1
PARAM_VALUE 0 vxlan->mdev->priv.dbg.cq_debugfs s64min-(-1),4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.dbg.eq_debugfs s64min-(-1),4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.devc s64min-(-4096),0,4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.eq_table s64min-(-4096),4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.eq_table->ctrl_irq 0-s64max
PARAM_VALUE 0 vxlan->mdev->priv.flags 2-u32max
PARAM_VALUE 0 vxlan->mdev->priv.health.fw_fatal_reporter s64min-(-4096),(-22),(-17),(-12),4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.health.fw_reporter s64min-(-4096),(-22),(-17),(-12),4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.health.health s64min-(-4096),4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.health.health_counter s64min-(-4096),4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.health.timer.entry.pprev s64min-(-4096),0,4096-s64max
PARAM_VALUE 0 vxlan->mdev->priv.page_mgt_mode 0-1
PARAM_VALUE 0 vxlan->mdev->profile.log_max_qp 0-31
PARAM_VALUE 0 vxlan->mdev->roce.reserved_gids.ida.xa.xa_flags 33554437
PARAM_VALUE 0 vxlan->mdev->roce.reserved_gids.start 0-u16max
PARAM_VALUE 0 vxlan->mdev->state 1
PARAM_VALUE 0 vxlan->mdev->timeouts s64min-(-4096),4096-s64max
PARAM_VALUE 0 vxlan->sync_lock.dep_map->name 0-255
PARAM_VALUE 0 vxlan->sync_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vxlan->sync_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vxlan->sync_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vxlan->sync_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vxlan->sync_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vxlan->sync_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 vxlan->sync_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vxlan->sync_lock.osq.tail.counter 0-s32max
BUF_SIZE 0 vxlan (-1),288
BUF_SIZE 0 vxlan (-1),288
DATA_SOURCE 0 vxlan r mlx5_vxlan_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vxlan->mdev->cmd.vars.log_stride 0-12
HOST_DATA 0 vxlan->mdev->cmd.vars.log_sz 0-15[c]
LOCK2 &dev->intf_state_mutex
HALF_LOCKED2 &devlink->lock
TYPE_LOCK (struct mlx5_core_dev)->intf_state_mutex