Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 addr 8433008087352446976
PARAM_VALUE 2 msg 6776519014227050496
PARAM_VALUE 2 msg->cmd 36
PARAM_VALUE 2 msg->data 4096-ptr_max
PARAM_VALUE 2 msg->data_len 6
PARAM_VALUE 2 msg->netfn 6
BUF_SIZE 1 addr 8
RX_PATH
NOCHECK_CALL

drivers/char/ipmi/ipmi_watchdog.c panic_halt_ipmi_heartbeat() -> ipmi_panic_request_and_wait()

Type Parameter Key Value
PARAM_VALUE 1 addr 5402205135498354688
PARAM_VALUE 2 msg 1704945197799829504
PARAM_VALUE 2 msg->cmd 34
PARAM_VALUE 2 msg->data 0
PARAM_VALUE 2 msg->data_len 0
PARAM_VALUE 2 msg->netfn 6
BUF_SIZE 1 addr 8
NOCHECK_CALL