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

Type Parameter Key Value
PARAM_VALUE 0 smi_info 4096-ptr_max
PARAM_VALUE 1 base 0
PARAM_VALUE 2 irq_on 1909627715826958336
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
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