Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_encode_rule_keyset() -> vcap_encode_keyfield_typegroups()

Type Parameter Key Value
PARAM_VALUE 0 vctrl 4096-ptr_max
PARAM_VALUE 0 vctrl->ops 4096-ptr_max
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 0 vctrl->vcaps 4096-ptr_max
PARAM_VALUE 1 ri 4096-ptr_max
PARAM_VALUE 1 ri->admin 4096-ptr_max
PARAM_VALUE 1 ri->data.keyset 0-30
PARAM_VALUE 1 ri->state 0-2
PARAM_VALUE 1 ri->vctrl 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->ops 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->ops->cache_erase 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->ops->cache_read 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->ops->cache_write 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->ops->init 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->ops->move 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->ops->port_info 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->ops->update 4096-ptr_max
PARAM_VALUE 1 ri->vctrl->vcaps 4096-ptr_max
PARAM_VALUE 2 tgt 1-u64max
CAPPED_DATA 1 ri->data.keyset 1
CAPPED_DATA 1 &ri->data.keyfields 1
DATA_SOURCE 1 ri $0
DATA_SOURCE 2 tgt r vcap_keyfield_typegroup
PARAM_COMPARE 1 &ri->data.keyfields != $1->data.keyfields.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 1 &ri->admin->vctrl->lock