Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mscc/ocelot_vcap.c es0_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 1 data 1816084282646482944
PARAM_VALUE 2 field 1
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 value unit_array_size
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c es0_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 1816084282646482944
PARAM_VALUE 2 field 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 value unit_array_size
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c es0_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 1816084282646482944
PARAM_VALUE 2 field 5
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c es0_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 1816084282646482944
PARAM_VALUE 2 field 7
PARAM_VALUE 3 value 0-255
PARAM_VALUE 4 mask 0-255
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is1_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 1 data 5590892933688778752
PARAM_VALUE 2 field 1
PARAM_VALUE 4 mask 3
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is1_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 5590892933688778752
PARAM_VALUE 2 field 2
PARAM_VALUE 3 value 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is1_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 5590892933688778752
PARAM_VALUE 2 field 11
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is1_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 5590892933688778752
PARAM_VALUE 2 field 13
PARAM_VALUE 3 value 0-255
PARAM_VALUE 4 mask 0-255
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 2
PARAM_VALUE 4 mask 255
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 4
PARAM_VALUE 3 value 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 10
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 12
PARAM_VALUE 3 value 0-255
PARAM_VALUE 4 mask 0-255
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 16
PARAM_VALUE 3 value 0
PARAM_VALUE 4 mask 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 17
PARAM_VALUE 3 value 0
PARAM_VALUE 4 mask 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 18
PARAM_VALUE 3 value 0
PARAM_VALUE 4 mask 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 32
PARAM_VALUE 3 value 0-3
PARAM_VALUE 4 mask 0-3
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 35
PARAM_VALUE 3 value 0
PARAM_VALUE 4 mask 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 38
PARAM_VALUE 3 value 0
PARAM_VALUE 4 mask 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 48
PARAM_VALUE 3 value 0
PARAM_VALUE 4 mask 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 57
PARAM_VALUE 3 value 0
PARAM_VALUE 4 mask 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 58
PARAM_VALUE 3 value 0
PARAM_VALUE 4 mask 0
CAPPED_DATA 0 vcap->counter_words 1
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock

drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_set()

Type Parameter Key Value
PARAM_VALUE 0 vcap 4096-ptr_max
PARAM_VALUE 0 vcap->keys 4096-ptr_max
PARAM_VALUE 1 data 543353690277482496
PARAM_VALUE 2 field 0
PARAM_VALUE 3 value 0-5
PARAM_VALUE 4 mask 0,14-15
CAPPED_DATA 0 vcap->counter_words 1
FUZZY_MAX 3 value 5
FUZZY_MAX 4 mask 15
HARD_MAX 3 value 5
HARD_MAX 4 mask 15
MEM_ZERO 1 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ocelot->fwd_domain_lock