Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/mscc/ocelot_vcap.c is2_entry_set() -> vcap_key_field_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 543353690277482496 |
| PARAM_VALUE | 1 | offset | 0-32766 |
| PARAM_VALUE | 2 | width | 1-32 |
| PARAM_VALUE | 3 | value | 0 |
| PARAM_VALUE | 4 | mask | 0 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 2 | width | 1 |
| MEM_ZERO | 0 | data | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ocelot->fwd_domain_lock |
drivers/net/ethernet/mscc/ocelot_vcap.c vcap_key_bit_set() -> vcap_key_field_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 543353690277482496,1816084282646482944,5590892933688778752 |
| PARAM_VALUE | 3 | value | 0-1 |
| PARAM_VALUE | 4 | mask | 0-1 |
| DATA_SOURCE | 0 | data | $1 |
| FUZZY_MAX | 3 | value | 1 |
| FUZZY_MAX | 4 | mask | 1 |
| HARD_MAX | 3 | value | 1 |
| HARD_MAX | 4 | mask | 1 |
| MEM_ZERO | 0 | data | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ocelot->fwd_domain_lock |
drivers/net/ethernet/mscc/ocelot_vcap.c vcap_key_bytes_set() -> vcap_key_field_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 543353690277482496,5590892933688778752 |
| PARAM_VALUE | 0 | *data->entry | 0-4294967295 |
| PARAM_VALUE | 0 | *data->mask | 0-4294967295 |
| PARAM_VALUE | 2 | width | 8,16-u32max |
| DATA_SOURCE | 0 | data | $1 |
| FUZZY_MAX | 2 | width | 32 |
| MEM_ZERO | 0 | data | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ocelot->fwd_domain_lock |
drivers/net/ethernet/mscc/ocelot_vcap.c vcap_key_l4_port_set() -> vcap_key_field_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 543353690277482496,5590892933688778752 |
| DATA_SOURCE | 0 | data | $1 |
| MEM_ZERO | 0 | data | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ocelot->fwd_domain_lock |
drivers/net/ethernet/mscc/ocelot_vcap.c vcap_key_set() -> vcap_key_field_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 543353690277482496,1816084282646482944,5590892933688778752 |
| DATA_SOURCE | 0 | data | $1 |
| DATA_SOURCE | 3 | value | $3 |
| DATA_SOURCE | 4 | mask | $4 |
| MEM_ZERO | 0 | data | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | value | unit_array_size |
| HALF_LOCKED2 | &ocelot->fwd_domain_lock |