Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/hsr/hsr_forward.c hsr_create_tagged_frame() -> hsr_set_path_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | frame | 1875802664947585024 |
| PARAM_VALUE | 0 | frame->dst_in_node_db | 0 |
| PARAM_VALUE | 0 | frame->dst_in_proxy_node_db | 0 |
| PARAM_VALUE | 0 | frame->is_from_san | 0 |
| PARAM_VALUE | 0 | frame->is_local_dest | 0 |
| PARAM_VALUE | 0 | frame->is_local_exclusive | 0 |
| PARAM_VALUE | 0 | frame->is_proxy_supervision | 0 |
| PARAM_VALUE | 0 | frame->is_supervision | 0 |
| PARAM_VALUE | 0 | frame->node_src | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->port_rcv | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->skb_hsr | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->skb_prp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | frame->skb_std | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hsr_ethhdr | 4096-ptr_max |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->dev | 4096-ptr_max |
| PARAM_VALUE | 2 | port->hsr | 4096-ptr_max |
| PARAM_VALUE | 2 | port->hsr->proto_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | port->hsr->proto_ops->drop_frame | 8047267643616055296,9004395790909485056 |
| PARAM_VALUE | 2 | port->hsr->proto_ops->register_frame_out | 302940072516685824,5876112803535097856 |
| PARAM_VALUE | 2 | port->type | 1-2 |
| CAPPED_DATA | 0 | frame->node_src | 1 |
| CAPPED_DATA | 0 | frame->port_rcv | 1 |
| DATA_SOURCE | 0 | frame | $0 |
| DATA_SOURCE | 1 | hsr_ethhdr | r skb_mac_header |
| DATA_SOURCE | 2 | port | $1 |
| FUZZY_MAX | 2 | port->type | 2 |
| MEM_ZERO | 0 | frame | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &hsr->seqnr_lock | ||
| HALF_LOCKED2 | bh |
net/hsr/hsr_forward.c hsr_fill_tag() -> hsr_set_path_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | frame | 1875802664947585024 |
| PARAM_VALUE | 0 | frame->is_from_san | 0 |
| PARAM_VALUE | 0 | frame->is_local_dest | 0 |
| PARAM_VALUE | 0 | frame->is_local_exclusive | 0 |
| PARAM_VALUE | 0 | frame->is_proxy_supervision | 0 |
| PARAM_VALUE | 0 | frame->is_supervision | 0 |
| PARAM_VALUE | 0 | frame->is_vlan | 0 |
| PARAM_VALUE | 0 | frame->node_src | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->port_rcv | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->skb_hsr | 0 |
| PARAM_VALUE | 0 | frame->skb_prp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | frame->skb_std | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->skb_std->cloned | 0 |
| PARAM_VALUE | 0 | frame->skb_std->data | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->skb_std->hdr_len | 0 |
| PARAM_VALUE | 0 | frame->skb_std->head | 1-u64max |
| PARAM_VALUE | 0 | frame->skb_std->head_frag | 0 |
| PARAM_VALUE | 0 | frame->skb_std->nohdr | 0 |
| PARAM_VALUE | 0 | frame->skb_std->pp_recycle | 0 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->dev | 4096-ptr_max |
| PARAM_VALUE | 2 | port->hsr | 4096-ptr_max |
| PARAM_VALUE | 2 | port->hsr->proto_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | port->hsr->proto_ops->drop_frame | 8047267643616055296,9004395790909485056 |
| PARAM_VALUE | 2 | port->hsr->proto_ops->register_frame_out | 302940072516685824,5876112803535097856 |
| PARAM_VALUE | 2 | port->type | 1-2 |
| CAPPED_DATA | 0 | frame->node_src | 1 |
| CAPPED_DATA | 0 | frame->port_rcv | 1 |
| DATA_SOURCE | 0 | frame | $1 |
| DATA_SOURCE | 2 | port | $2 |
| BIT_INFO | 2 | port->dev->features | 0x0,0xefffffffffffffff |
| MEM_ZERO | 0 | frame | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &hsr->seqnr_lock | ||
| HALF_LOCKED2 | bh |