msg_done_handler identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/char/ipmi/ipmi_ssif.c, line 535 (as a prototype)

Defined in 1 files as a function:

drivers/char/ipmi/ipmi_ssif.c, line 621 (as a function)

Referenced in 1 files:

drivers/char/ipmi/ipmi_ssif.c

Smatch caller information:

drivers/char/ipmi/ipmi_ssif.c msg_written_handler() -> msg_done_handler()

Type	Parameter	Key	Value
PARAM_VALUE	0	ssif_info	4096-ptr_max
PARAM_VALUE	0	ssif_info->client	4096-ptr_max
PARAM_VALUE	0	ssif_info->client->adapter	4096-ptr_max
PARAM_VALUE	0	ssif_info->client->adapter->bus_lock.dep_map->name	0-255
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ssif_info->client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ssif_info->retries_left	s32min-0
PARAM_VALUE	0	ssif_info->stats	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.done	0
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.magic	3735899821
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.owner	(-1)
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	result	(-5)
PARAM_VALUE	2	data	0
PARAM_VALUE	3	len	0
BUF_SIZE	0	ssif_info	128
BUF_SIZE	0	ssif_info	128
DATA_SOURCE	0	ssif_info	$0
FUZZY_MAX	0	ssif_info->retries_left	0
HARD_MAX	0	ssif_info->retries_left	0
NOCHECK_CALL

drivers/char/ipmi/ipmi_ssif.c ipmi_ssif_thread() -> (struct ssif_info)->done_handler()

Type	Parameter	Key	Value
PARAM_VALUE	0	ssif_info	4096-ptr_max
PARAM_VALUE	0	ssif_info->client	4096-ptr_max
PARAM_VALUE	0	ssif_info->client->adapter	4096-ptr_max
PARAM_VALUE	0	ssif_info->client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left	0
PARAM_VALUE	0	ssif_info->client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ssif_info->client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ssif_info->i2c_data	4096-ptr_max
PARAM_VALUE	0	ssif_info->i2c_read_write	0
PARAM_VALUE	0	ssif_info->wake_thread.done	0
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.magic	3735899821
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.owner	(-1)
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	2	data	0
PARAM_VALUE	3	len	0
BUF_SIZE	0	ssif_info	128
BUF_SIZE	0	ssif_info	128
DATA_SOURCE	0	ssif_info	$0
DATA_SOURCE	1	result	r i2c_smbus_write_block_data
CONTAINER	0	-552+0	$(-1)
NOCHECK_CALL

drivers/char/ipmi/ipmi_ssif.c ipmi_ssif_thread() -> (struct ssif_info)->done_handler()

Type	Parameter	Key	Value
PARAM_VALUE	0	ssif_info	4096-ptr_max
PARAM_VALUE	0	ssif_info->client	4096-ptr_max
PARAM_VALUE	0	ssif_info->client->adapter	4096-ptr_max
PARAM_VALUE	0	ssif_info->client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left	0
PARAM_VALUE	0	ssif_info->client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ssif_info->client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ssif_info->i2c_read_write	s32min-(-1),1-s32max
PARAM_VALUE	0	ssif_info->wake_thread.done	0
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.magic	3735899821
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.owner	(-1)
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	result	s32min-(-1)
PARAM_VALUE	2	data	0
PARAM_VALUE	3	len	0
BUF_SIZE	0	ssif_info	128
BUF_SIZE	0	ssif_info	128
DATA_SOURCE	0	ssif_info	$0
DATA_SOURCE	1	result	r i2c_smbus_read_block_data
CONTAINER	0	-552+0	$(-1)
BIT_INFO	1	result	0x0,0x7fffffff
NOCHECK_CALL

drivers/char/ipmi/ipmi_ssif.c ipmi_ssif_thread() -> (struct ssif_info)->done_handler()

Type	Parameter	Key	Value
PARAM_VALUE	0	ssif_info	4096-ptr_max
PARAM_VALUE	0	ssif_info->client	4096-ptr_max
PARAM_VALUE	0	ssif_info->client->adapter	4096-ptr_max
PARAM_VALUE	0	ssif_info->client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left	0
PARAM_VALUE	0	ssif_info->client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ssif_info->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ssif_info->client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ssif_info->i2c_read_write	s32min-(-1),1-s32max
PARAM_VALUE	0	ssif_info->wake_thread.done	0
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.magic	3735899821
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.owner	(-1)
PARAM_VALUE	0	ssif_info->wake_thread.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	ssif_info->wake_thread.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	result	0
PARAM_VALUE	3	len	0-s32max
BUF_SIZE	0	ssif_info	128
BUF_SIZE	0	ssif_info	128
DATA_SOURCE	0	ssif_info	$0
DATA_SOURCE	3	len	r i2c_smbus_read_block_data
CONTAINER	0	-552+0	$(-1)
CONTAINER	2	*(-552+680)	$(-1)
NOCHECK_CALL