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_events()

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 2-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 0x2,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

drivers/char/ipmi/ipmi_si_intf.c handle_transaction_done() -> start_getting_events()

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->io.si_info 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 5
PARAM_VALUE 0 smi_info->stats 4096-ptr_max
PARAM_VALUE 0 smi_info->supports_event_msg_buff 1
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
DATA_SOURCE 0 smi_info $0
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

drivers/char/ipmi/ipmi_si_intf.c handle_transaction_done() -> start_getting_events()

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->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 6
PARAM_VALUE 0 smi_info->stats 4096-ptr_max
PARAM_VALUE 0 smi_info->supports_event_msg_buff 1
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
DATA_SOURCE 0 smi_info $0
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

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

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->io.irq 0
PARAM_VALUE 0 smi_info->last_was_flag_fetch 0
PARAM_VALUE 0 smi_info->req_events.counter 0
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-6,8-u32max
PARAM_VALUE 0 smi_info->stats 4096-ptr_max
PARAM_VALUE 0 smi_info->supports_event_msg_buff 0
PARAM_VALUE 0 smi_info->waiting_msg 0
BUF_SIZE 0 smi_info (-1),128,984,1000
BUF_SIZE 0 smi_info (-1),128,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
CAPPED_DATA 0 smi_info->si_sm->orig_write_count 1
CAPPED_DATA 0 smi_info->si_sm->write_count 1
DATA_SOURCE 0 smi_info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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