Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ipmi 4096-ptr_max
PARAM_VALUE 0 ipmi->dead 0
PARAM_VALUE 0 ipmi->tx_msg_list.prev 4096-ptr_max
PARAM_VALUE 0 ipmi->tx_msg_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ipmi->tx_msg_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ipmi->tx_msg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->addr.addr_type 1,4,12,65,129
PARAM_VALUE 1 msg->addr.channel 0-15
PARAM_VALUE 1 msg->device 4096-ptr_max
PARAM_VALUE 1 msg->device->dead 0
PARAM_VALUE 1 msg->device->tx_msg_list.prev 4096-ptr_max
PARAM_VALUE 1 msg->device->tx_msg_list.prev->next 4096-ptr_max
PARAM_VALUE 1 msg->device->tx_msg_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 msg->device->tx_msg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 msg->head.next 4096-ptr_max
PARAM_VALUE 1 msg->head.next->next 4096-ptr_max
PARAM_VALUE 1 msg->head.prev->next 4096-ptr_max
PARAM_VALUE 1 msg->head.prev->prev 4096-ptr_max
PARAM_VALUE 1 msg->msg_done 7
PARAM_VALUE 1 msg->tx_complete.done 0-4294967293,u32max
PARAM_VALUE 1 msg->tx_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 msg->tx_complete.wait.lock.owner (-1)
PARAM_VALUE 1 msg->tx_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 1 msg->tx_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 msg->tx_complete.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 msg->tx_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 msg->tx_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 msg->tx_complete.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 msg->tx_message.data_len 0-64
PARAM_VALUE 1 *msg->data 0-255
BUF_SIZE 1 msg 264
DATA_SOURCE 1 msg r ipmi_msg_alloc
TERMINATED 1 msg->addr.data 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 context_mutex