Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_si_intf.c handle_flags() -> start_getting_msg_queue()

Type Parameter Key Value
PARAM_VALUE 0 smi_info 4096-ptr_max
PARAM_VALUE 0 smi_info->curr_msg 4096-ptr_max
PARAM_VALUE 0 smi_info->curr_msg->done 2720790875626950656
PARAM_VALUE 0 smi_info->curr_msg->recv_msg 0
PARAM_VALUE 0 smi_info->curr_msg->type 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->msg_flags 1-255
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 1-2,4
PARAM_VALUE 0 smi_info->stats 4096-ptr_max
PARAM_VALUE 0 smi_info->thread->delays->blkio_count 0-4294967295
PARAM_VALUE 0 smi_info->thread->delays->blkio_delay_max 0-s64max
PARAM_VALUE 0 smi_info->thread->delays->blkio_delay_min 0-s64max
PARAM_VALUE 0 smi_info->thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 smi_info->thread->sched_task_group->shares 0-s64max
BUF_SIZE 0 smi_info (-1),128,208,272,512,608,624,984,1000
BUF_SIZE 0 smi_info (-1),128,208,272,512,608,624,984,1000
BUF_SIZE 0 smi_info->curr_msg 600
BUF_SIZE 0 smi_info->waiting_msg (-1),600
CAPPED_DATA 0 smi_info->curr_msg 1
DATA_SOURCE 0 smi_info $0
BIT_INFO 0 smi_info->msg_flags 0x1,0xffffffffffffffff
HARD_MAX 0 smi_info->si_state 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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