Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_ssif.c ipmi_free_smi_msg() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->data 4096-ptr_max
PARAM_VALUE 0 msg->data_size 2
PARAM_VALUE 0 msg->done 2720790875626950656
PARAM_VALUE 0 msg->recv_msg 0
PARAM_VALUE 0 msg->type 0
BUF_SIZE 0 msg 600
DATA_SOURCE 0 msg $0
CONTAINER 0 -592+0 $(-1)
NOCHECK_CALL

drivers/char/ipmi/ipmi_ssif.c msg_done_handler() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CONTAINER 0 -592+0 $(-1)
BIT_INFO 0 msg->rsp_size 0x0,0x1ff
NOCHECK_CALL
LOCK2 &ssif_info->lock
LOCK2 *flags
TYPE_LOCK (struct ssif_info)->lock

drivers/char/ipmi/ipmi_ssif.c msg_done_handler() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->rsp 4096-ptr_max
CONTAINER 0 -592+0 $(-1)
BIT_INFO 0 msg->rsp_size 0x0,0x1ff
NOCHECK_CALL
LOCK2 &ssif_info->lock
LOCK2 *flags
TYPE_LOCK (struct ssif_info)->lock

drivers/char/ipmi/ipmi_ssif.c msg_done_handler() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CONTAINER 0 -592+0 $(-1)
BIT_INFO 0 msg->rsp_size 0x0,0x1ff
NOCHECK_CALL
LOCK2 &ssif_info->lock
LOCK2 *flags
TYPE_LOCK (struct ssif_info)->lock

drivers/char/ipmi/ipmi_ssif.c msg_done_handler() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->rsp 4096-ptr_max
CONTAINER 0 -592+0 $(-1)
BIT_INFO 0 msg->rsp_size 0x0,0x1ff
NOCHECK_CALL
LOCK2 &ssif_info->lock
LOCK2 *flags
TYPE_LOCK (struct ssif_info)->lock

drivers/char/ipmi/ipmi_msghandler.c ipmi_free_smi_msg() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
BUF_SIZE 0 msg (-1),600
BUF_SIZE 0 msg (-1),600
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $0
CONTAINER 0 -592+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msgid s64min-s64max
USER_DATA 0 msg->recv_msg->msg.cmd 0-255
USER_DATA 0 msg->recv_msg->msg.data_len 0-272
USER_DATA 0 msg->recv_msg->msg.netfn 1-255
USER_DATA 0 msg->recv_msg->msgid s64min-s64max
HALF_LOCKED2 global &ipmi_interfaces_mutex

drivers/char/ipmi/ipmi_si_intf.c handle_transaction_done() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->rsp 4096-ptr_max
BUF_SIZE 0 msg (-1),600
BUF_SIZE 0 msg (-1),600
CAPPED_DATA 0 msg->rsp_size 1
CONTAINER 0 -592+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msgid s64min-s64max
HALF_LOCKED2 &smi_info->si_lock
HALF_LOCKED2 flags

drivers/char/ipmi/ipmi_si_intf.c handle_transaction_done() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->rsp 4096-ptr_max
BUF_SIZE 0 msg (-1),600
BUF_SIZE 0 msg (-1),600
CAPPED_DATA 0 msg->rsp_size 1
CONTAINER 0 -592+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msgid s64min-s64max
HALF_LOCKED2 &smi_info->si_lock
HALF_LOCKED2 flags

drivers/char/ipmi/ipmi_si_intf.c ipmi_free_smi_msg() -> (struct ipmi_smi_msg)->done()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->done 2720790875626950656
PARAM_VALUE 0 msg->recv_msg 0
PARAM_VALUE 0 msg->type 0
BUF_SIZE 0 msg 600
DATA_SOURCE 0 msg $0
CONTAINER 0 -592+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &smi_info->si_lock
HALF_LOCKED2 flags