Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_encode_bit() -> vcap_iter_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itr | 2500248544334696448,4238236156879044608,7131175831822204928,7620699784907550720,7659181450214633472 |
| PARAM_VALUE | 0 | itr->reg_bitpos | 0-31 |
| CAPPED_DATA | 0 | itr->tg->offset | 1 |
| DATA_SOURCE | 0 | itr | $1 |
| PARAM_COMPARE | 0 | itr->offset | > $0->tg->offset |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_encode_typegroups() -> vcap_iter_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itr | 5019225897617670144 |
| PARAM_VALUE | 0 | itr->offset | 0,19,21,31,38,42,49,52,95-96,98,103-104,110,147,156,190,192,196,206,208,220,245,260,288,312,364,416,468,520,572 |
| PARAM_VALUE | 0 | itr->reg_bitpos | 0 |
| PARAM_VALUE | 0 | itr->reg_idx | 0 |
| PARAM_VALUE | 0 | itr->regs_per_sw | 1-16 |
| PARAM_VALUE | 0 | itr->sw_width | 19,21,31,49,51-52,65,96,103,110,123,469,489 |
| MEM_ZERO | 0 | itr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_encode_typegroups() -> vcap_iter_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itr | 5019225897617670144 |
| PARAM_VALUE | 0 | itr->reg_bitpos | 0-31 |
| PARAM_VALUE | 0 | itr->reg_idx | 0-495 |
| PARAM_VALUE | 0 | itr->regs_per_sw | 1-16 |
| PARAM_VALUE | 0 | itr->sw_width | 19,21,31,49,51-52,65,96,103,110,123,469,489 |
| MEM_ZERO | 0 | itr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_iter_init() -> vcap_iter_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itr | 4096-ptr_max |
| PARAM_VALUE | 0 | itr->offset | 1-u32max |
| PARAM_VALUE | 0 | itr->reg_bitpos | 0 |
| PARAM_VALUE | 0 | itr->reg_idx | 0 |
| DATA_SOURCE | 0 | itr | $0 |
| MEM_ZERO | 0 | itr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_iter_next() -> vcap_iter_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itr | 4096-ptr_max |
| PARAM_VALUE | 0 | itr->reg_bitpos | 0-31 |
| DATA_SOURCE | 0 | itr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_verify_typegroups() -> vcap_iter_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itr | 8088546868496269312 |
| PARAM_VALUE | 0 | itr->offset | 0,19,21,31,38,42,49,52,95-96,98,103-104,110,147,156,190,192,196,206,208,220,245,260,288,312,364,416,468,520,572 |
| PARAM_VALUE | 0 | itr->reg_bitpos | 0 |
| PARAM_VALUE | 0 | itr->reg_idx | 0 |
| PARAM_VALUE | 0 | itr->regs_per_sw | 1-16 |
| PARAM_VALUE | 0 | itr->sw_width | 19,21,31,51-52,65,96,103,110,123,469,489 |
| MEM_ZERO | 0 | itr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_verify_typegroups() -> vcap_iter_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itr | 8088546868496269312 |
| PARAM_VALUE | 0 | itr->reg_bitpos | 0-31 |
| PARAM_VALUE | 0 | itr->reg_idx | 0-495 |
| PARAM_VALUE | 0 | itr->regs_per_sw | 1-16 |
| PARAM_VALUE | 0 | itr->sw_width | 19,21,31,51-52,65,96,103,110,123,469,489 |
| MEM_ZERO | 0 | itr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |