Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/microsoft/mana/mana_en.c mana_change_mtu() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->ac 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.done 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.magic 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->gic_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->hwc_timeout 1
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.count 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up 1
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner (-1)
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->txq->gdma_wq->head 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->test_event_eq_id 0-4294967295
PARAM_VALUE 0 mpc->cqe_coalescing_timeout_ns 0-4294967295
PARAM_VALUE 0 mpc->das_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->port_idx 0-u16max
PARAM_VALUE 0 mpc->port_is_up 0-1
PARAM_VALUE 0 mpc->rss_state s32min-s32max
PARAM_VALUE 0 mpc->rxbpre_datasize 0-2147483661
PARAM_VALUE 0 mpc->rxbpre_frag_count 1-10
PARAM_VALUE 0 mpc->rxbpre_headroom 0,256
PARAM_VALUE 0 mpc->rxbufs_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->steer_cqe_coalescing 0-4294967295
PARAM_VALUE 0 mpc->steer_rss 0-4294967295
PARAM_VALUE 0 mpc->steer_rx 0-4294967295
PARAM_VALUE 0 mpc->vport_mutex.osq.tail.counter s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mpc->rxbpre_alloc_size 0,384-2048[c]
USER_DATA 0 mpc->rxbpre_frag_count 2-10[c]

drivers/net/ethernet/microsoft/mana/mana_en.c mana_get_rxbuf_pre() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->das_pre 4096-ptr_max
PARAM_VALUE 0 mpc->rxbpre_datasize 14-u32max
PARAM_VALUE 0 mpc->rxbpre_headroom 0,256
PARAM_VALUE 0 mpc->rxbpre_total 0
PARAM_VALUE 0 mpc->rxbufs_pre 4096-ptr_max
CAPPED_DATA 0 mpc->rxbpre_alloc_size 1
CAPPED_DATA 0 mpc->rxbpre_datasize 1
CAPPED_DATA 0 mpc->rxbpre_headroom 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ndev->ethtool->rss_lock
HALF_LOCKED2 &ndev->lock

drivers/net/ethernet/microsoft/mana/mana_en.c mana_per_port_queue_reset_work_handler() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->ac 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context 4096-ptr_max
PARAM_VALUE 0 mpc->channel_changing 1
PARAM_VALUE 0 mpc->das_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->ndev 4096-ptr_max
PARAM_VALUE 0 mpc->ndev->priv->ac->gdma_dev->gdma_context->hwc.driver_data->hwc_timeout 1
PARAM_VALUE 0 mpc->ndev->priv->ac->gdma_dev->gdma_context->hwc.driver_data->sema.count 0-4294967295
PARAM_VALUE 0 mpc->ndev->priv->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner (-1)
PARAM_VALUE 0 mpc->ndev->priv->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 mpc->ndev->priv->ac->gdma_dev->gdma_context->hwc.driver_data->txq->gdma_wq->head 0-4294967295
PARAM_VALUE 0 mpc->ndev->priv->port_idx 0-u16max
PARAM_VALUE 0 mpc->rxbpre_datasize 0-2147483661
PARAM_VALUE 0 mpc->rxbpre_frag_count 1-10
PARAM_VALUE 0 mpc->rxbpre_headroom 0,256
PARAM_VALUE 0 mpc->rxbufs_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->vport_mutex.dep_map->name 0-255
PARAM_VALUE 0 mpc->vport_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mpc->vport_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mpc->vport_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 *mpc->ndev->name 0-255
PARAM_VALUE 0 *mpc->ndev->priv->mana_port_debugfs->d_inode->i_sb->s_fs_info->s_first_error_func 0-255
PARAM_VALUE 0 *mpc->ndev->priv->mana_port_debugfs->d_inode->i_sb->s_fs_info->s_last_error_func 0-255
CAPPED_DATA 0 &mpc->vport_mutex 1
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/microsoft/mana/mana_en.c mana_pre_alloc_rxbufs() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->ac 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context 4096-ptr_max
PARAM_VALUE 0 mpc->ndev 0,4096-ptr_max
PARAM_VALUE 0 mpc->ndev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 mpc->rxbpre_datasize 0-2147483661
PARAM_VALUE 0 mpc->rxbpre_frag_count 1-10
PARAM_VALUE 0 mpc->rxbpre_headroom 0,256
PARAM_VALUE 0 mpc->rxbufs_pre 0-18446744073709551614
PARAM_VALUE 0 *mpc->ndev->name 0
BUF_SIZE 0 mpc->bpf_prog s32min-(-1),1-s32max
BUF_SIZE 0 mpc->das_pre 0-u64max
BUF_SIZE 0 mpc->rxbufs_pre 8
DATA_SOURCE 0 mpc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mpc->rxbpre_alloc_size 0,384-2048[c]
USER_DATA 0 mpc->rxbpre_frag_count 2-10[c]
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/microsoft/mana/mana_bpf.c mana_xdp_set() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->ac 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.done 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.magic 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->gic_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->hwc_timeout 1
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.count 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up 1
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner (-1)
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->txq->gdma_wq->head 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->test_event_eq_id 0-4294967295
PARAM_VALUE 0 mpc->cqe_coalescing_timeout_ns 0-4294967295
PARAM_VALUE 0 mpc->das_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->port_idx 0-u16max
PARAM_VALUE 0 mpc->port_is_up 0-1
PARAM_VALUE 0 mpc->rss_state s32min-s32max
PARAM_VALUE 0 mpc->rxbpre_datasize 0-2147483661
PARAM_VALUE 0 mpc->rxbpre_frag_count 1-10
PARAM_VALUE 0 mpc->rxbpre_headroom 0,256
PARAM_VALUE 0 mpc->rxbufs_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->steer_cqe_coalescing 0-4294967295
PARAM_VALUE 0 mpc->steer_rss 0-4294967295
PARAM_VALUE 0 mpc->steer_rx 0-4294967295
PARAM_VALUE 0 mpc->vport_mutex.osq.tail.counter s32min-s32max
BUF_SIZE 0 mpc->bpf_prog s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mpc->rxbpre_alloc_size 0,384-2048[c]
USER_DATA 0 mpc->rxbpre_frag_count 2-10[c]
HALF_LOCKED2 &ndev->lock

drivers/net/ethernet/microsoft/mana/mana_bpf.c mana_xdp_set() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->ac 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.done 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.magic 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->gic_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->test_event_eq_id 0-4294967295
PARAM_VALUE 0 mpc->cqe_coalescing_timeout_ns 0-4294967295
PARAM_VALUE 0 mpc->das_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->port_idx 0-u16max
PARAM_VALUE 0 mpc->port_is_up 0-1
PARAM_VALUE 0 mpc->rss_state s32min-s32max
PARAM_VALUE 0 mpc->rxbpre_datasize 0-2147483661
PARAM_VALUE 0 mpc->rxbpre_frag_count 1-10
PARAM_VALUE 0 mpc->rxbpre_headroom 0,256
PARAM_VALUE 0 mpc->rxbufs_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->steer_cqe_coalescing 0-4294967295
PARAM_VALUE 0 mpc->steer_rss 0-4294967295
PARAM_VALUE 0 mpc->steer_rx 0-4294967295
PARAM_VALUE 0 mpc->vport_mutex.osq.tail.counter s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mpc->rxbpre_alloc_size 0,384-2048[c]
USER_DATA 0 mpc->rxbpre_frag_count 2-10[c]
HALF_LOCKED2 &ndev->lock

drivers/net/ethernet/microsoft/mana/mana_ethtool.c mana_set_channels() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->ac 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.done 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.magic 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->gic_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->hwc_timeout 1
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.count 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up 1
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner (-1)
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->txq->gdma_wq->head 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->test_event_eq_id 0-4294967295
PARAM_VALUE 0 mpc->channel_changing 1
PARAM_VALUE 0 mpc->cqe_coalescing_timeout_ns 0-4294967295
PARAM_VALUE 0 mpc->das_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->port_idx 0-u16max
PARAM_VALUE 0 mpc->port_is_up 0-1
PARAM_VALUE 0 mpc->rss_state s32min-s32max
PARAM_VALUE 0 mpc->rxbpre_datasize 0-2147483661
PARAM_VALUE 0 mpc->rxbpre_frag_count 1-10
PARAM_VALUE 0 mpc->rxbpre_headroom 0,256
PARAM_VALUE 0 mpc->rxbufs_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->steer_cqe_coalescing 0-4294967295
PARAM_VALUE 0 mpc->steer_rss 0-4294967295
PARAM_VALUE 0 mpc->steer_rx 0-4294967295
PARAM_VALUE 0 mpc->vport_mutex.dep_map->name 0-255
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 mpc->vport_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mpc->vport_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mpc->vport_mutex.wait_lock.dep_map->name 0-255
CAPPED_DATA 0 &mpc->vport_mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mpc->num_queues 0
USER_DATA 0 mpc->rxbpre_alloc_size 0,384-2048[c]
USER_DATA 0 mpc->rxbpre_frag_count 2-10[c]

drivers/net/ethernet/microsoft/mana/mana_ethtool.c mana_set_priv_flags() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.done 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.magic 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->test_event_eq_id 0-4294967295
PARAM_VALUE 0 mpc->cqe_coalescing_timeout_ns 0-4294967295
PARAM_VALUE 0 mpc->steer_cqe_coalescing 0-4294967295
PARAM_VALUE 0 mpc->steer_rss 0-4294967295
PARAM_VALUE 0 mpc->steer_rx 0-4294967295
PARAM_VALUE 0 mpc->vport_mutex.osq.tail.counter s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mpc->priv_flags 0
USER_DATA 0 mpc->rxbpre_alloc_size 0,384-2048[c]
USER_DATA 0 mpc->rxbpre_frag_count 2-10[c]

drivers/net/ethernet/microsoft/mana/mana_ethtool.c mana_set_ringparam() -> mana_pre_dealloc_rxbufs()

Type Parameter Key Value
PARAM_VALUE 0 mpc 4096-ptr_max
PARAM_VALUE 0 mpc->ac 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context 4096-ptr_max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.done 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.magic 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->eq_test_event.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->gic_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->hwc_timeout 1
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.count 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.first_waiter->up 1
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner (-1)
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->hwc.driver_data->txq->gdma_wq->head 0-4294967295
PARAM_VALUE 0 mpc->ac->gdma_dev->gdma_context->test_event_eq_id 0-4294967295
PARAM_VALUE 0 mpc->cqe_coalescing_timeout_ns 0-4294967295
PARAM_VALUE 0 mpc->das_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->port_idx 0-u16max
PARAM_VALUE 0 mpc->port_is_up 0-1
PARAM_VALUE 0 mpc->rss_state s32min-s32max
PARAM_VALUE 0 mpc->rxbpre_datasize 0-2147483661
PARAM_VALUE 0 mpc->rxbpre_frag_count 1-10
PARAM_VALUE 0 mpc->rxbpre_headroom 0,256
PARAM_VALUE 0 mpc->rxbufs_pre 16,4096-ptr_max
PARAM_VALUE 0 mpc->steer_cqe_coalescing 0-4294967295
PARAM_VALUE 0 mpc->steer_rss 0-4294967295
PARAM_VALUE 0 mpc->steer_rx 0-4294967295
PARAM_VALUE 0 mpc->vport_mutex.osq.tail.counter s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL