Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_filter_remove_safe() -> ef4_farch_filter_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->filter_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->filter_get_rx_id_limit | 4096-ptr_max |
| PARAM_VALUE | 1 | table | 4096-ptr_max |
| PARAM_VALUE | 1 | table->size | 8192 |
| PARAM_VALUE | 2 | filter_idx | 0-8191 |
| PARAM_VALUE | 3 | priority | 2 |
| CAPPED_DATA | 2 | filter_idx | 1 |
| DATA_SOURCE | 0 | efx | $0 |
| DATA_SOURCE | 2 | filter_idx | r ef4_farch_filter_id_index |
| DATA_SOURCE | 3 | priority | $1 |
| PARAM_COMPARE | 2 | filter_idx | < $1->size |
| PREEMPT_ADD | <- disables preempt | ||
| USER_DATA | 2 | filter_idx | 0-8191[c] |
| UNITS | 2 | filter_idx | unit_array_size |
| LOCK2 | bh | ||
| LOCK2 | 0 | &efx->filter_lock | |
| TYPE_LOCK | (struct ef4_nic)->filter_lock |
drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_filter_table_clear() -> ef4_farch_filter_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->filter_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 1 | table | 4096-ptr_max |
| PARAM_VALUE | 1 | table->size | 8192 |
| PARAM_VALUE | 1 | table->spec | 4096-ptr_max |
| PARAM_VALUE | 1 | *table->search_limit | 0-4294967295 |
| PARAM_VALUE | 3 | priority | 2 |
| DATA_SOURCE | 0 | efx | $0 |
| DATA_SOURCE | 3 | priority | $2 |
| PARAM_COMPARE | 2 | filter_idx | < $1->size |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | filter_idx | unit_array_size |
| LOCK2 | bh | ||
| LOCK2 | 0 | &efx->filter_lock | |
| HALF_LOCKED2 | &net_dev->lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct ef4_nic)->filter_lock |