Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_del_rule() -> vcap_get_locked_rule()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->cache_erase | 2484310660448706560,6644815546120077312,7470958739516108800,8747296395841019904 |
| PARAM_VALUE | 0 | vctrl->ops->cache_read | 2460452188402188288,4999809874325360640,5648917629714505728,7749437195518373888 |
| PARAM_VALUE | 0 | vctrl->ops->cache_write | 4881248133621678080,6791580002021109760,7083800483534848000,7840355138651742208 |
| PARAM_VALUE | 0 | vctrl->ops->init | 1065320554010304512,1511329109087485952,4135669250509279232,5713295340053602304 |
| PARAM_VALUE | 0 | vctrl->ops->move | 2094423276811427840,4896655955882807296,4939445492910854144,7409289420755533824 |
| PARAM_VALUE | 0 | vctrl->ops->port_info | 5164950458044342272,6068283141664002048,7222263244238143488,7348847604082769920 |
| PARAM_VALUE | 0 | vctrl->ops->update | 660886417044873216,2651302945017126912,4971322664388689920,6351075480333332480 |
| PARAM_VALUE | 1 | id | 1-s32max |
| CAPPED_DATA | 1 | id | 1 |
| DATA_SOURCE | 0 | vctrl | $0 |
| DATA_SOURCE | 1 | id | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_get_rule() -> vcap_get_locked_rule()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->cache_erase | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->cache_read | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->cache_write | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->init | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->move | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->port_info | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->update | 4096-ptr_max |
| PARAM_VALUE | 1 | id | 1-s32max |
| CAPPED_DATA | 1 | id | 1 |
| DATA_SOURCE | 0 | vctrl | $0 |
| DATA_SOURCE | 1 | id | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_mod_rule() -> vcap_get_locked_rule()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->cache_erase | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->cache_read | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->cache_write | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->init | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->move | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->port_info | 4096-ptr_max |
| PARAM_VALUE | 0 | vctrl->ops->update | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |