Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 smi_info 4096-ptr_max
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->io.si_info->type 3
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
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 (-1),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->curr_msg->msgid s64min-s64max
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