Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/char/ipmi/ipmi_watchdog.c __ipmi_heartbeat() -> ipmi_request_supply_msgs()

Type Parameter Key Value
PARAM_VALUE 0 user 0,4096-ptr_max
PARAM_VALUE 1 addr 8832522705765683200
PARAM_VALUE 2 msgid 0
PARAM_VALUE 3 msg 8014143949939601408
PARAM_VALUE 3 msg->cmd 34
PARAM_VALUE 3 msg->data 0
PARAM_VALUE 3 msg->data_len 0
PARAM_VALUE 3 msg->netfn 6
PARAM_VALUE 4 user_msg_data 0
PARAM_VALUE 5 supplied_smi 8636359828154597376
PARAM_VALUE 6 supplied_recv 3000741373498392576
PARAM_VALUE 6 supplied_recv->msg.data 0,4096-ptr_max
PARAM_VALUE 6 supplied_recv->user 0,4096-ptr_max
PARAM_VALUE 7 priority 1
BUF_SIZE 1 addr 8
BUF_SIZE 5 supplied_smi 600
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &ipmi_watchdog_mutex

drivers/char/ipmi/ipmi_watchdog.c __ipmi_set_timeout() -> ipmi_request_supply_msgs()

Type Parameter Key Value
PARAM_VALUE 1 addr 8433008087352446976
PARAM_VALUE 2 msgid 0
PARAM_VALUE 3 msg 6776519014227050496
PARAM_VALUE 3 msg->cmd 36
PARAM_VALUE 3 msg->data 4096-ptr_max
PARAM_VALUE 3 msg->data_len 6
PARAM_VALUE 3 msg->netfn 6
PARAM_VALUE 4 user_msg_data 0
PARAM_VALUE 5 supplied_smi 8636359828154597376
PARAM_VALUE 6 supplied_recv 3000741373498392576
PARAM_VALUE 7 priority 1
BUF_SIZE 1 addr 8
DATA_SOURCE 5 supplied_smi $0
DATA_SOURCE 6 supplied_recv $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &ipmi_watchdog_mutex

drivers/char/ipmi/ipmi_poweroff.c ipmi_request_in_rc_mode() -> ipmi_request_supply_msgs()

Type Parameter Key Value
PARAM_VALUE 1 addr 2156432882608128000,2815930525941346304,5542709378884960256,6080048873699270656,6490522291369164800
PARAM_VALUE 2 msgid 0
PARAM_VALUE 3 msg 431582183557562368,5843413152217436160,5888338227950751744,6039333690935492608
PARAM_VALUE 3 msg->cmd 1-2,17,128,130,132,163
PARAM_VALUE 3 msg->data 0,4096-ptr_max
PARAM_VALUE 3 msg->data_len 0-1,3-4
PARAM_VALUE 3 msg->netfn 0,4,44,46,62
PARAM_VALUE 4 user_msg_data 0
PARAM_VALUE 5 supplied_smi 3409010225744957440
PARAM_VALUE 6 supplied_recv 6709066963424169984
PARAM_VALUE 7 priority 0
BUF_SIZE 1 addr 8
BUF_SIZE 1 addr 8
BUF_SIZE 5 supplied_smi 600
DATA_SOURCE 0 user $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 3 msg $2
HARD_MAX 3 msg->cmd 163
HARD_MAX 3 msg->data_len 4
HARD_MAX 3 msg->netfn 62

drivers/char/ipmi/ipmi_poweroff.c ipmi_request_wait_for_response() -> ipmi_request_supply_msgs()

Type Parameter Key Value
PARAM_VALUE 0 user 4096-ptr_max
PARAM_VALUE 0 user->destroyed.refs.counter 1
PARAM_VALUE 0 user->gets_events 0
PARAM_VALUE 0 user->handler 1911305775724740608
PARAM_VALUE 0 user->handler_data 0
PARAM_VALUE 0 user->nr_msgs.counter 0
PARAM_VALUE 1 addr 555541686319513600,8459973135333470208
PARAM_VALUE 2 msgid 0
PARAM_VALUE 3 msg 1109982693576708096,3373070071133028352
PARAM_VALUE 3 msg->cmd 1
PARAM_VALUE 3 msg->data 0,4096-ptr_max
PARAM_VALUE 3 msg->data_len 0-1
PARAM_VALUE 3 msg->netfn 6,44
PARAM_VALUE 4 user_msg_data 3207055897624596480
PARAM_VALUE 5 supplied_smi 3409010225744957440
PARAM_VALUE 6 supplied_recv 6709066963424169984
PARAM_VALUE 7 priority 0
BUF_SIZE 1 addr 8
BUF_SIZE 1 addr 8
BUF_SIZE 4 user_msg_data 96
BUF_SIZE 5 supplied_smi 600
CAPPED_DATA 0 user 1
DATA_SOURCE 0 user $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 3 msg $2
HARD_MAX 3 msg->data_len 1
HARD_MAX 3 msg->netfn 44
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &smi_watchers_mutex