Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_add_rule() -> vcap_api_check()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_alloc_rule() -> vcap_api_check()

Type Parameter Key Value
PARAM_VALUE 0 ctrl->ops->cache_erase 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->cache_read 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->cache_write 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->init 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->move 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->port_info 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->update 4096-ptr_max
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_copy_rule() -> vcap_api_check()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_del_rule() -> vcap_api_check()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->cache_erase 2484310660448706560,6644815546120077312,7470958739516108800,8747296395841019904
PARAM_VALUE 0 ctrl->ops->cache_read 2460452188402188288,4999809874325360640,5648917629714505728,7749437195518373888
PARAM_VALUE 0 ctrl->ops->cache_write 4881248133621678080,6791580002021109760,7083800483534848000,7840355138651742208
PARAM_VALUE 0 ctrl->ops->init 1065320554010304512,1511329109087485952,4135669250509279232,5713295340053602304
PARAM_VALUE 0 ctrl->ops->move 2094423276811427840,4896655955882807296,4939445492910854144,7409289420755533824
PARAM_VALUE 0 ctrl->ops->port_info 5164950458044342272,6068283141664002048,7222263244238143488,7348847604082769920
PARAM_VALUE 0 ctrl->ops->update 660886417044873216,2651302945017126912,4971322664388689920,6351075480333332480
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_del_rules() -> vcap_api_check()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 1-u64max
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_enable_lookups() -> vcap_api_check()

Type Parameter Key Value
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_find_admin() -> vcap_api_check()

Type Parameter Key Value
PARAM_VALUE 0 ctrl->ops->cache_erase 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->cache_read 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->cache_write 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->init 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->move 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->port_info 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->update 4096-ptr_max
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_get_rule() -> vcap_api_check()

Type Parameter Key Value
PARAM_VALUE 0 ctrl->ops->cache_erase 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->cache_read 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->cache_write 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->init 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->move 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->port_info 4096-ptr_max
PARAM_VALUE 0 ctrl->ops->update 4096-ptr_max
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_get_rule_count_by_cookie() -> vcap_api_check()

Type Parameter Key Value
PARAM_VALUE 0 ctrl->ops->cache_erase 2484310660448706560,6644815546120077312,7470958739516108800,8747296395841019904
PARAM_VALUE 0 ctrl->ops->cache_read 2460452188402188288,4999809874325360640,5648917629714505728,7749437195518373888
PARAM_VALUE 0 ctrl->ops->cache_write 4881248133621678080,6791580002021109760,7083800483534848000,7840355138651742208
PARAM_VALUE 0 ctrl->ops->init 1065320554010304512,1511329109087485952,4135669250509279232,5713295340053602304
PARAM_VALUE 0 ctrl->ops->move 2094423276811427840,4896655955882807296,4939445492910854144,7409289420755533824
PARAM_VALUE 0 ctrl->ops->port_info 5164950458044342272,6068283141664002048,7222263244238143488,7348847604082769920
PARAM_VALUE 0 ctrl->ops->update 660886417044873216,2651302945017126912,4971322664388689920,6351075480333332480
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_is_last_chain() -> vcap_api_check()

Type Parameter Key Value
PARAM_VALUE 0 ctrl->ops->cache_erase 2484310660448706560,6644815546120077312,7470958739516108800,8747296395841019904
PARAM_VALUE 0 ctrl->ops->cache_read 2460452188402188288,4999809874325360640,5648917629714505728,7749437195518373888
PARAM_VALUE 0 ctrl->ops->cache_write 4881248133621678080,6791580002021109760,7083800483534848000,7840355138651742208
PARAM_VALUE 0 ctrl->ops->init 1065320554010304512,1511329109087485952,4135669250509279232,5713295340053602304
PARAM_VALUE 0 ctrl->ops->move 2094423276811427840,4896655955882807296,4939445492910854144,7409289420755533824
PARAM_VALUE 0 ctrl->ops->port_info 5164950458044342272,6068283141664002048,7222263244238143488,7348847604082769920
PARAM_VALUE 0 ctrl->ops->update 660886417044873216,2651302945017126912,4971322664388689920,6351075480333332480
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_is_next_lookup() -> vcap_api_check()

Type Parameter Key Value
PARAM_VALUE 0 ctrl->ops->cache_erase 2484310660448706560,6644815546120077312,7470958739516108800,8747296395841019904
PARAM_VALUE 0 ctrl->ops->cache_read 2460452188402188288,4999809874325360640,5648917629714505728,7749437195518373888
PARAM_VALUE 0 ctrl->ops->cache_write 4881248133621678080,6791580002021109760,7083800483534848000,7840355138651742208
PARAM_VALUE 0 ctrl->ops->init 1065320554010304512,1511329109087485952,4135669250509279232,5713295340053602304
PARAM_VALUE 0 ctrl->ops->move 2094423276811427840,4896655955882807296,4939445492910854144,7409289420755533824
PARAM_VALUE 0 ctrl->ops->port_info 5164950458044342272,6068283141664002048,7222263244238143488,7348847604082769920
PARAM_VALUE 0 ctrl->ops->update 660886417044873216,2651302945017126912,4971322664388689920,6351075480333332480
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_mod_rule() -> vcap_api_check()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_rule_get_counter() -> vcap_api_check()

Type Parameter Key Value

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_rule_set_counter() -> vcap_api_check()

Type Parameter Key Value

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_val_rule() -> vcap_api_check()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/microchip/vcap/vcap_api_debugfs.c vcap_show_admin_raw() -> vcap_api_check()

Type Parameter Key Value
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &admin->vctrl->lock
HALF_LOCKED2 &m->lock