Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/hsr/hsr_forward.c prp_create_tagged_frame() -> prp_set_lan_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | trailer | 4096-ptr_max |
| PARAM_VALUE | 0 | trailer->PRP_suffix | 35067 |
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| PARAM_VALUE | 1 | port->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | port->hsr | 4096-ptr_max |
| PARAM_VALUE | 1 | port->hsr->proto_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | port->hsr->proto_ops->drop_frame | 8047267643616055296,9004395790909485056 |
| PARAM_VALUE | 1 | port->hsr->proto_ops->register_frame_out | 302940072516685824,5876112803535097856 |
| PARAM_VALUE | 1 | port->type | 1-2 |
| DATA_SOURCE | 0 | trailer | r skb_get_PRP_rct |
| DATA_SOURCE | 1 | port | $1 |
| FUZZY_MAX | 1 | port->type | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &hsr->seqnr_lock | ||
| HALF_LOCKED2 | bh |
net/hsr/hsr_forward.c prp_fill_rct() -> prp_set_lan_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | trailer | 4096-ptr_max |
| PARAM_VALUE | 1 | port | 4096-ptr_max |
| PARAM_VALUE | 1 | port->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | port->hsr | 4096-ptr_max |
| PARAM_VALUE | 1 | port->hsr->proto_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | port->hsr->proto_ops->drop_frame | 8047267643616055296,9004395790909485056 |
| PARAM_VALUE | 1 | port->hsr->proto_ops->register_frame_out | 302940072516685824,5876112803535097856 |
| PARAM_VALUE | 1 | port->type | 1-2 |
| DATA_SOURCE | 0 | trailer | r skb_put |
| DATA_SOURCE | 1 | port | $2 |
| BIT_INFO | 1 | port->dev->features | 0x0,0xefffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &hsr->seqnr_lock | ||
| HALF_LOCKED2 | bh |