Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c handle_one_recv_msg() -> handle_lan_get_msg_cmd()

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 msg 4096-ptr_max
PARAM_VALUE 1 msg->data 4096-ptr_max
PARAM_VALUE 1 msg->rsp 4096-ptr_max
PARAM_VALUE 1 msg->rsp_size 2-s32max
PARAM_VALUE 1 msg->type 0,2-u32max
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 msg $1
FUZZY_MAX 1 msg->rsp_size 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING