Defined in 2 files as a variable:

Defined in 8 files as a member:

Defined in 3 files as a function:

Referenced in 28 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c smi_send() -> (struct ipmi_smi_handlers)->sender()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 *msg->data 0-255
BUF_SIZE 0 send_info (-1),984,1000
BUF_SIZE 0 send_info (-1),984,1000
BUF_SIZE 1 msg (-1),600
BUF_SIZE 1 msg (-1),600
DATA_SOURCE 1 msg r smi_add_send_msg
PARAM_COMPARE 1 msg == $1
TASK_NOT_RUNNING
USER_DATA 1 msg->data_size 2-283[c]
USER_DATA 1 msg->msgid s64min-s64max
USER_DATA 1 msg->recv_msg->msg.cmd 0-255
USER_DATA 1 msg->recv_msg->msg.data_len 0-272
USER_DATA 1 msg->recv_msg->msg.netfn 1-255
USER_DATA 1 msg->recv_msg->msgid s64min-s64max
HALF_LOCKED2 global &ipmi_interfaces_mutex

drivers/char/ipmi/ipmi_msghandler.c smi_work() -> (struct ipmi_smi_handlers)->sender()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
BUF_SIZE 0 send_info 984,1000
CONTAINER 0 *(-40-2800+2808) $(-1)
TASK_NOT_RUNNING