Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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->lock_ops 4096-ptr_max
PARAM_VALUE 0 ssif_info->curr_msg 0
PARAM_VALUE 0 ssif_info->curr_msg->rsp_size 0-272
PARAM_VALUE 0 ssif_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ssif_info->req_events 0
PARAM_VALUE 0 ssif_info->req_flags 0
PARAM_VALUE 0 ssif_info->ssif_state 0
PARAM_VALUE 0 ssif_info->stats 4096-ptr_max
PARAM_VALUE 0 ssif_info->stopping 0
PARAM_VALUE 0 ssif_info->wake_thread.wait.lock.dep_map->name 0-255
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 flags 8972987738940444672
BUF_SIZE 0 ssif_info 128
BUF_SIZE 0 ssif_info 128
CAPPED_DATA 1 *flags 1
DATA_SOURCE 0 ssif_info $0
DATA_SOURCE 1 flags r ipmi_ssif_lock_cond
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &ssif_info->lock
LOCK2 1 *flags
TYPE_LOCK (struct ssif_info)->lock

drivers/char/ipmi/ipmi_ssif.c sender() -> start_next_msg()

Type Parameter Key Value
PARAM_VALUE 0 ssif_info 4096-ptr_max
PARAM_VALUE 0 ssif_info->waiting_msg 4096-ptr_max
PARAM_VALUE 1 flags 1783912627417341952
BUF_SIZE 0 ssif_info (-1),984,1000
BUF_SIZE 0 ssif_info (-1),984,1000
BUF_SIZE 0 ssif_info->waiting_msg (-1),600
CAPPED_DATA 1 *flags 1
DATA_SOURCE 0 ssif_info $0
DATA_SOURCE 1 flags r ipmi_ssif_lock_cond
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ssif_info->waiting_msg->data_size 2-283[c]
USER_DATA 0 ssif_info->waiting_msg->msgid s64min-s64max
LOCK2 0 &ssif_info->lock
LOCK2 1 *flags
TYPE_LOCK (struct ssif_info)->lock

drivers/char/ipmi/ipmi_si_intf.c check_start_timer_thread() -> start_next_msg()

Type Parameter Key Value
PARAM_VALUE 0 ssif_info 4096-ptr_max
PARAM_VALUE 0 ssif_info->curr_msg 0
PARAM_VALUE 0 ssif_info->si_state 0
PARAM_VALUE 0 ssif_info->thread 0,4096-ptr_max
PARAM_VALUE 0 ssif_info->thread->blocked_on 0
PARAM_VALUE 0 ssif_info->thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 ssif_info->thread->migration_disabled 0-1
PARAM_VALUE 0 ssif_info->thread->mm->mm_cid.irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 0 ssif_info->thread->mm->mm_cid.max_cids 0-s32max
PARAM_VALUE 0 ssif_info->thread->mm->mm_cid.pcpu_thrs 1-1073741823
PARAM_VALUE 0 ssif_info->thread->mm->mm_cid.update_deferred 1
PARAM_VALUE 0 ssif_info->thread->on_rq 0-1,3-255
PARAM_VALUE 0 ssif_info->thread->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 ssif_info->thread->pushable_tasks.prio_list.next->prev 4096-ptr_max
PARAM_VALUE 0 ssif_info->thread->saved_state 0
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu (-1)
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->curr->pref_llc_queued 0-1
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->donor->__state 0,512
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->donor->core_node.__rb_parent_color 1
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->donor->mm->mm_cid.irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->donor->rseq.event.ids_changed 1
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->donor->sched_migrated 1
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->fair_server.inactive_timer.flags 0-4294967295
PARAM_VALUE 0 ssif_info->thread->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color 1
PARAM_VALUE 0 ssif_info->thread->wake_cpu 0-s32max
BUF_SIZE 0 ssif_info (-1),984,1000
BUF_SIZE 0 ssif_info (-1),984,1000
BUF_SIZE 0 ssif_info->waiting_msg (-1),600
CAPPED_DATA 0 ssif_info->thread 1
DATA_SOURCE 0 ssif_info $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ssif_info->waiting_msg->data_size 2-283[c]
USER_DATA 0 ssif_info->waiting_msg->msgid s64min-s64max
LOCK2 flags
LOCK2 0 &ssif_info->si_lock
HALF_LOCKED2 &intf->watch_lock
HALF_LOCKED2 iflags
TYPE_LOCK (struct smi_info)->si_lock

drivers/char/ipmi/ipmi_si_intf.c smi_event_handler() -> start_next_msg()

Type Parameter Key Value
PARAM_VALUE 0 ssif_info 4096-ptr_max
PARAM_VALUE 0 ssif_info->handlers 4096-ptr_max
PARAM_VALUE 0 ssif_info->handlers->start_transaction 4096-ptr_max
PARAM_VALUE 0 ssif_info->last_was_flag_fetch 0
PARAM_VALUE 0 ssif_info->si_sm->error_retries s32min-4294967295
PARAM_VALUE 0 ssif_info->si_sm->nonzero_status s32min-s32max
PARAM_VALUE 0 ssif_info->si_sm->orig_write_count s32min-s32max
PARAM_VALUE 0 ssif_info->si_sm->read_count s32min-s32max
PARAM_VALUE 0 ssif_info->si_sm->read_pos s32min-s32max
PARAM_VALUE 0 ssif_info->si_sm->seq 0-255
PARAM_VALUE 0 ssif_info->si_sm->state 0-4294967295
PARAM_VALUE 0 ssif_info->si_sm->truncated s32min-s32max
PARAM_VALUE 0 ssif_info->si_sm->write_count s32min-s32max
PARAM_VALUE 0 ssif_info->si_sm->write_pos s32min-s32max
PARAM_VALUE 0 ssif_info->si_state 0-6,8-u32max
PARAM_VALUE 0 ssif_info->stats 4096-ptr_max
BUF_SIZE 0 ssif_info (-1),128,984,1000
BUF_SIZE 0 ssif_info (-1),128,984,1000
BUF_SIZE 0 ssif_info->curr_msg (-1),600
BUF_SIZE 0 ssif_info->waiting_msg (-1),600
DATA_SOURCE 0 ssif_info $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ssif_info->curr_msg->msgid s64min-s64max
USER_DATA 0 ssif_info->si_sm->orig_write_count 3-272[c]
USER_DATA 0 ssif_info->si_sm->write_count 3-274[c]
USER_DATA 0 ssif_info->waiting_msg->data_size 2-283[c]
USER_DATA 0 ssif_info->waiting_msg->msgid s64min-s64max
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ssif_info->si_lock