Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/tc.c efx_tc_configure_default_rule() -> efx_mae_insert_rule()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->filter_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 efx->filter_sem.first_waiter->type 0-1
PARAM_VALUE 0 efx->mc_bist_for_other_fn 0
PARAM_VALUE 0 efx->mcdi->iface.resprc 0
PARAM_VALUE 0 efx->net_dev->netdev_ops->ndo_validate_addr 0,4342228606772805632,8026438956919775232
PARAM_VALUE 0 efx->nic_data 4096-ptr_max
PARAM_VALUE 0 efx->pci_dev 4096-ptr_max
PARAM_VALUE 0 efx->reset_work.entry.next 4096-ptr_max
PARAM_VALUE 0 efx->reset_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 efx->tc 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->min_interrupt_mode 0,2
PARAM_VALUE 0 *efx->mcdi->iface.logging_buffer 0-255
PARAM_VALUE 0 *efx->name 0-255
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 0 *efx->nic_data->mcdi_buf.addr 0-255
PARAM_VALUE 0 *efx->tc->caps->action_rule_fields 0-255
PARAM_VALUE 0 *efx->tc->caps->outer_rule_fields 0-255
PARAM_VALUE 1 match 4096-ptr_max
PARAM_VALUE 1 match->mask.ingress_port u32max
PARAM_VALUE 2 prio 1
PARAM_VALUE 4 id 4096-ptr_max
PARAM_VALUE 4 *id u32max
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 1 match 312
DATA_SOURCE 0 efx $0
NOSPEC 0 efx->vf_count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 efx->vf_count 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 efx->vf_count
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &pci_rescan_remove_lock