Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ri 4096-ptr_max
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->state 0-2
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 move 8067790944944308224
PARAM_VALUE 1 move->addr 0
PARAM_VALUE 1 move->count 0
PARAM_VALUE 1 move->offset 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &ri->admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock