Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/microchip/lan966x/lan966x_vcap_impl.c lan966x_vcap_deinit() -> vcap_del_rules()

Type Parameter Key Value
PARAM_VALUE 0 vctrl 1-u64max
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 admin 4096-ptr_max
CAPPED_DATA 0 &vctrl->list 1
CAPPED_DATA 1 &admin->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/net/ethernet/microchip/sparx5/sparx5_vcap_impl.c sparx5_vcap_deinit() -> vcap_del_rules()

Type Parameter Key Value
PARAM_VALUE 0 vctrl 1-u64max
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 admin 4096-ptr_max
CAPPED_DATA 0 &vctrl->list 1
CAPPED_DATA 1 &admin->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex