Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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

drivers/char/ipmi/ipmi_si_intf.c smi_timeout() -> start_get_flags()

Type Parameter Key Value
PARAM_VALUE 0 smi_info 4096-ptr_max
PARAM_VALUE 0 smi_info->si_state 7
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &smi_info->si_lock
TYPE_LOCK (struct smi_info)->si_lock