Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_ipmi.c acpi_ipmi_space_handler() -> acpi_format_ipmi_request()

Type Parameter Key Value
PARAM_VALUE 0 tx_msg 4096-ptr_max
PARAM_VALUE 0 tx_msg->device 4096-ptr_max
PARAM_VALUE 0 tx_msg->head.next 4096-ptr_max
PARAM_VALUE 0 tx_msg->head.next->next 4096-ptr_max
PARAM_VALUE 0 tx_msg->head.prev 4096-ptr_max
PARAM_VALUE 0 tx_msg->head.prev->next 4096-ptr_max
PARAM_VALUE 0 tx_msg->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 tx_msg->kref.refcount.refs.counter 1
PARAM_VALUE 0 tx_msg->msg_done 7
PARAM_VALUE 0 tx_msg->tx_complete.done 0
PARAM_VALUE 0 tx_msg->tx_complete.wait.lock.magic 3735899821
PARAM_VALUE 0 tx_msg->tx_complete.wait.lock.owner (-1)
PARAM_VALUE 0 tx_msg->tx_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 tx_msg->tx_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 tx_msg->tx_complete.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 tx_msg->tx_complete.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 tx_msg->tx_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 tx_msg->tx_complete.wait.task_list.prev->prev 4096-ptr_max
BUF_SIZE 0 tx_msg 264
BUF_SIZE 2 value s32min,(-10),(-1),1-s32max
BUF_SIZE 2 value s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 tx_msg r ipmi_msg_alloc
DATA_SOURCE 1 address $1
DATA_SOURCE 2 value $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 address unit_byte
UNITS 2 value unit_byte
HALF_LOCKED2 context_mutex