Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/hsr/hsr_forward.c hsr_forward_do() -> (struct hsr_proto_ops)->drop_frame()

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->node_src 4096-ptr_max
PARAM_VALUE 0 frame->port_rcv 4096-ptr_max
PARAM_VALUE 0 frame->skb_hsr 0,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 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
CAPPED_DATA 0 frame->node_src 1
CAPPED_DATA 0 frame->port_rcv 1
DATA_SOURCE 0 frame $0
PARAM_COMPARE 0 frame->port_rcv != $1
PARAM_COMPARE 1 port != $0->port_rcv
MEM_ZERO 0 frame
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &hsr->seqnr_lock
HALF_LOCKED2 bh