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() -> acpi_format_ipmi_response()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->addr.addr_type 1,4,12,65,129
PARAM_VALUE 0 msg->addr.channel 0-15
PARAM_VALUE 0 msg->device 4096-ptr_max
PARAM_VALUE 0 msg->device->dead 0
PARAM_VALUE 0 msg->device->tx_msg_list.prev 4096-ptr_max
PARAM_VALUE 0 msg->device->tx_msg_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msg->device->tx_msg_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 msg->device->tx_msg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msg->device->user_interface->intf->curr_msg->data_size 0-u16max
PARAM_VALUE 0 msg->device->user_interface->intf->maintenance_mode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->data_len 0-255
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->done_handler 6765505158978322432
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->i2c_command 2,6
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->i2c_size 5
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->multi_len 33-4294967295
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->multi_pos 32
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->retries_left 5
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->si_timer.is_hard 0-1
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->si_timer.is_lazy 0-1
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->si_timer.is_soft 0-1
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->thread->delays->blkio_count 0-4294967295
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->thread->delays->lock.owner (-1)
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->thread->se.avg.util_avg 0-4294967295
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->thread->se.cfs_rq->rq->donor->on_rq 0-1,3-255
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->wake_thread.count 0-4294967295
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->wake_thread.done 0-4294967295
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->wake_thread.first_waiter->up 1
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->wake_thread.lock.dep_map->name 0-255
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->wake_thread.lock.owner (-1)
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->wake_thread.lock.owner_cpu 4294967295
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->wake_thread.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->watch_timeout 0-536870912
PARAM_VALUE 0 msg->device->user_interface->intf->send_info->watch_timer.flags 0-4294967295
PARAM_VALUE 0 msg->device->user_interface->intf->seq_lock.dep_map->name 0-255
PARAM_VALUE 0 msg->device->user_interface->intf->seq_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 msg->device->user_interface->intf->seq_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 msg->device->user_interface->intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 0 msg->device->user_interface->intf->users_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 msg->device->user_interface->intf->users_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 msg->device->user_interface->intf->users_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 msg->device->user_interface->intf->watch_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msg->device->user_interface->intf->xmit_msgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msg->head.next 4096-ptr_max
PARAM_VALUE 0 msg->head.next->next 4096-ptr_max
PARAM_VALUE 0 msg->head.prev->next 4096-ptr_max
PARAM_VALUE 0 msg->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 msg->msg_done 7
PARAM_VALUE 0 msg->tx_complete.done 0-4294967293,u32max
PARAM_VALUE 0 msg->tx_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 msg->tx_complete.wait.lock.owner (-1)
PARAM_VALUE 0 msg->tx_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 msg->tx_complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 msg->tx_complete.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 msg->tx_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msg->tx_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 msg->tx_complete.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 msg->tx_message.data_len 0-64
PARAM_VALUE 0 *msg->data 0-255
PARAM_VALUE 0 *msg->device->user_interface->intf->send_info->curr_msg->rsp 0-255
PARAM_VALUE 0 *msg->device->user_interface->intf->send_info->i2c_data 0-255
PARAM_VALUE 0 *msg->device->user_interface->intf->send_info->multi_data 0-255
PARAM_VALUE 0 *msg->device->user_interface->intf->send_info->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 value 4096-ptr_max
PARAM_VALUE 1 value->length 0-64
BUF_SIZE 0 msg 264
BUF_SIZE 1 value s32min,(-10),(-1),1-s32max
BUF_SIZE 1 value s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 msg r ipmi_msg_alloc
DATA_SOURCE 1 value $3
TERMINATED 0 msg->addr.data 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 value unit_byte
HALF_LOCKED2 context_mutex