Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ri 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->cache_read 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->cache_write 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->update 4096-ptr_max
PARAM_VALUE 1 ctr 8737013134655995904
PARAM_VALUE 1 ctr->sticky 0
PARAM_VALUE 1 ctr->value 0
CAPPED_DATA 0 ri->data.cookie 1
CAPPED_DATA 0 &ri->list 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &admin->vctrl->lock
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock
TYPE_LOCK (struct vcap_control)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 ri 4137310295294779392,6162632372940029952
PARAM_VALUE 0 ri->admin 4096-ptr_max
PARAM_VALUE 0 ri->admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 ri->admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ri->admin->vctrl->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ri->vctrl 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->cache_erase 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->cache_read 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->cache_write 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->init 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->move 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->port_info 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->ops->update 4096-ptr_max
PARAM_VALUE 1 ctr 759155191274971136,8373496160030867456
PARAM_VALUE 1 ctr->sticky 0
PARAM_VALUE 1 ctr->value 0
DATA_SOURCE 1 ctr $1
LOCK2 0 &ri->admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock