Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c handle_ipmb_get_msg_rsp() -> intf_find_seq()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->channels_ready 1
PARAM_VALUE 0 intf->run_to_completion 0
PARAM_VALUE 1 seq 0-63
PARAM_VALUE 2 channel 0-15
PARAM_VALUE 4 netfn 0,2-62
PARAM_VALUE 5 addr 1302130992019832832
PARAM_VALUE 6 recv_msg 7929786022677057536
BUF_SIZE 5 addr 8
DATA_SOURCE 0 intf $0
BIT_INFO 4 netfn 0x0,0x3e
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/char/ipmi/ipmi_msghandler.c handle_lan_get_msg_rsp() -> intf_find_seq()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->channels_ready 1
PARAM_VALUE 0 intf->run_to_completion 0
PARAM_VALUE 1 seq 0-63
PARAM_VALUE 2 channel 0-15
PARAM_VALUE 4 netfn 0,2-62
PARAM_VALUE 5 addr 506873700694675456
PARAM_VALUE 6 recv_msg 6447251899659034624
BUF_SIZE 5 addr 12
DATA_SOURCE 0 intf $0
BIT_INFO 4 netfn 0x0,0x3e
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING