Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/ti/icssm/icssm_prueth_switch.c icssm_prueth_sw_delete_fdb_entry() -> icssm_prueth_sw_fdb_move_range_left()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prueth | 4096-ptr_max |
| PARAM_VALUE | 0 | prueth->fdb_tbl | 4096-ptr_max |
| PARAM_VALUE | 0 | prueth->fdb_tbl->mac_tbl_a->mac_tbl_entry | 4096-ptr_max |
| PARAM_VALUE | 1 | left | 0-s16max |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | left | 0-s16max |
| HOST_DATA | 2 | right | 0-s16max[c] |
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/ti/icssm/icssm_prueth_switch.c icssm_prueth_sw_find_free_mac() -> icssm_prueth_sw_fdb_move_range_left()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prueth | 4096-ptr_max |
| PARAM_VALUE | 0 | prueth->fdb_tbl | 4096-ptr_max |
| PARAM_VALUE | 0 | prueth->fdb_tbl->mac_tbl_a | 4096-ptr_max |
| PARAM_VALUE | 0 | prueth->fdb_tbl->mac_tbl_a->mac_tbl_entry | 4096-ptr_max |
| PARAM_VALUE | 1 | left | 0-65534 |
| PARAM_VALUE | 2 | right | 0-254,u16max |
| DATA_SOURCE | 0 | prueth | $0 |
| PARAM_COMPARE | 1 | left | != $2 |
| PARAM_COMPARE | 2 | right | != $1 |
| BIT_INFO | 1 | left | 0x0,0xff |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | left | 0-254 |
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &pool->lock |