Open Menu /

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_move_rules()

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->sort_key 0-4294967294
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 0 ri->vctrl->vcaps 4096-ptr_max
PARAM_VALUE 1 move 8067790944944308224
PARAM_VALUE 1 move->count 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ri->admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_fill_rule_gap() -> vcap_move_rules()

Type Parameter Key Value
PARAM_VALUE 0 ri 4096-ptr_max
PARAM_VALUE 0 ri->admin->last_used_addr s32min-(-2),0-s32max
PARAM_VALUE 1 move 1023663722574651392
PARAM_VALUE 1 move->addr s32min-(-2),0-s32max
CAPPED_DATA 0 ri->data.id 1
DATA_SOURCE 0 ri $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &admin->vctrl->lock