Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/freescale/dpaa2/dpaa2-switch-flower.c dpaa2_switch_acl_tbl_add_entry() -> dpaa2_switch_acl_entry_set_precedence()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PARAM_VALUE 0 block->num_acl_rules 0-14
PARAM_VALUE 2 precedence 1-15
BUF_SIZE 0 block 16,32,40,48,88,208,544,936
BUF_SIZE 0 block 16,32,40,48,88,208,544,936
DATA_SOURCE 0 block $0
DATA_SOURCE 1 entry r dpaa2_switch_acl_entry_get_by_index
FUZZY_MAX 2 precedence 15
PARAM_COMPARE 0 &block->acl_entries != $0->acl_entries.next
HARD_MAX 0 block->num_acl_rules 14
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock

drivers/net/ethernet/freescale/dpaa2/dpaa2-switch-flower.c dpaa2_switch_acl_tbl_remove_entry() -> dpaa2_switch_acl_entry_set_precedence()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PARAM_VALUE 0 block->ethsw 4096-ptr_max
PARAM_VALUE 0 block->ethsw->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 block->ethsw->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 block->ethsw->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 block->ethsw->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 block->ethsw->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 block->ethsw->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 block->ethsw->mc_io->spinlock.dep_map->name 0-255
PARAM_VALUE 0 block->ethsw->mc_io->spinlock.owner (-1)
PARAM_VALUE 0 block->ethsw->mc_io->spinlock.owner_cpu u32max
BUF_SIZE 0 block 16,32,40,48,88,208,544,936
BUF_SIZE 0 block 16,32,40,48,88,208,544,936
DATA_SOURCE 0 block $0
DATA_SOURCE 1 entry r dpaa2_switch_acl_entry_get_by_index
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock