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_decode_rule() -> vcap_decode_actionset()

Type Parameter Key Value
PARAM_VALUE 0 ri 4096-ptr_max
PARAM_VALUE 0 ri->actionset_sw_regs s32min-(-1),1-s32max
PARAM_VALUE 0 ri->admin 4096-ptr_max
PARAM_VALUE 0 ri->data.actionfields.next 4096-ptr_max
PARAM_VALUE 0 ri->data.actionfields.next->next 4096-ptr_max
PARAM_VALUE 0 ri->data.actionfields.prev 4096-ptr_max
PARAM_VALUE 0 ri->data.actionfields.prev->next 1-u64max
PARAM_VALUE 0 ri->data.actionfields.prev->prev 4096-ptr_max
PARAM_VALUE 0 ri->data.keyfields.next 4096-ptr_max
PARAM_VALUE 0 ri->data.keyfields.next->next 4096-ptr_max
PARAM_VALUE 0 ri->data.keyfields.prev 4096-ptr_max
PARAM_VALUE 0 ri->data.keyfields.prev->next 1-u64max
PARAM_VALUE 0 ri->data.keyfields.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ri->data.keyfields.prev->prev 4096-ptr_max
PARAM_VALUE 0 ri->keyset_sw_regs s32min-(-1),1-s32max
PARAM_VALUE 0 ri->list.next 4096-ptr_max
PARAM_VALUE 0 ri->list.next->next 4096-ptr_max
PARAM_VALUE 0 ri->list.prev 4096-ptr_max
PARAM_VALUE 0 ri->list.prev->next 4096-ptr_max
PARAM_VALUE 0 ri->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ri->size s32min-(-1),1-s32max
PARAM_VALUE 0 ri->state 0-1,3-u32max
PARAM_VALUE 0 ri->vctrl 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->vcaps 4096-ptr_max
BUF_SIZE 0 ri 168
CAPPED_DATA 0 ri->size 1
DATA_SOURCE 0 ri r vcap_dup_rule
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ri->admin->cache.counter 0-u32max
HOST_DATA 0 ri->admin->cache.sticky 0-1
HALF_LOCKED2 &admin->vctrl->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_disable_rule() -> vcap_decode_actionset()

Type Parameter Key Value
PARAM_VALUE 0 ri 4096-ptr_max
PARAM_VALUE 0 ri->actionset_sw_regs s32min-(-1),1-s32max
PARAM_VALUE 0 ri->admin 4096-ptr_max
PARAM_VALUE 0 ri->data.keyfields.prev 4096-ptr_max
PARAM_VALUE 0 ri->data.keyfields.prev->next 4096-ptr_max
PARAM_VALUE 0 ri->data.keyfields.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ri->data.vcap_chain_id s32min-(-1),1-s32max
PARAM_VALUE 0 ri->keyset_sw_regs s32min-(-1),1-s32max
PARAM_VALUE 0 ri->ndev 1-u64max
PARAM_VALUE 0 ri->size s32min-(-1),1-s32max
PARAM_VALUE 0 ri->state 1
PARAM_VALUE 0 ri->vctrl 4096-ptr_max
PARAM_VALUE 0 ri->vctrl->vcaps 4096-ptr_max
CAPPED_DATA 0 ri->data.vcap_chain_id 1
CAPPED_DATA 0 ri->ndev 1
CAPPED_DATA 0 ri->size 1
DATA_SOURCE 0 ri $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ri->admin->cache.counter 0-u32max
HOST_DATA 0 ri->admin->cache.sticky 0-1
LOCK2 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock