Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 1
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 watch_timeout() -> start_flag_fetch()

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->ssif_state 0
PARAM_VALUE 0 ssif_info->stopping 0
PARAM_VALUE 0 ssif_info->watch_timeout s64min-(-1),1-s64max
PARAM_VALUE 0 ssif_info->watch_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 ssif_info->watch_timer.entry.pprev 0,4096-ptr_max
PARAM_VALUE 1 flags 5675599217172824064
CAPPED_DATA 0 &ssif_info->watch_timer 1
CAPPED_DATA 1 *flags 1
DATA_SOURCE 1 flags r ipmi_ssif_lock_cond
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ssif_info->lock
LOCK2 1 *flags
TYPE_LOCK (struct ssif_info)->lock