Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/tc.c efx_tc_flower() -> efx_tc_flower_replace()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->tc 1-u64max
PARAM_VALUE 0 efx->tc->mutex.dep_map->name 0-255
PARAM_VALUE 0 efx->tc->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 efx->tc->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 efx->tc->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 efx->tc->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 efx->tc->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 efx->tc->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 net_dev->netdev_ops->ndo_setup_tc 0,4096-ptr_max
PARAM_VALUE 1 *net_dev->name 0-255
PARAM_VALUE 2 tc 4096-ptr_max
PARAM_VALUE 2 tc->command 0
BUF_SIZE 0 efx (-1),5888
BUF_SIZE 0 efx (-1),5888
BUF_SIZE 2 tc (-1),8,12,16,24,32,48,64,72,80,96,176,368,480,720
BUF_SIZE 2 tc (-1),8,12,16,24,32,48,64,72,80,96,176,368,480,720
CAPPED_DATA 0 &efx->tc->mutex 1
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 net_dev $1
DATA_SOURCE 2 tc $2
DATA_SOURCE 3 efv $3
NOSPEC 1 net_dev->num_tc
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 net_dev->num_tc 2-16[c]
UNITS 1 net_dev unit_byte
LOCK2 0 &efx->tc->mutex
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock
TYPE_LOCK (struct efx_tc_state)->mutex