Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_si_intf.c ipmi_thread() -> ipmi_thread_busy_wait()

Type Parameter Key Value
PARAM_VALUE 0 smi_result 1-2,4-6
PARAM_VALUE 1 smi_info 4096-ptr_max
PARAM_VALUE 1 smi_info->si_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 smi_info->si_sm->error_retries s32min-4294967295
PARAM_VALUE 1 smi_info->si_sm->nonzero_status s32min-s32max
PARAM_VALUE 1 smi_info->si_sm->orig_write_count s32min-s32max
PARAM_VALUE 1 smi_info->si_sm->read_count s32min-s32max
PARAM_VALUE 1 smi_info->si_sm->read_pos s32min-s32max
PARAM_VALUE 1 smi_info->si_sm->seq 0-255
PARAM_VALUE 1 smi_info->si_sm->state 0-4294967295
PARAM_VALUE 1 smi_info->si_sm->truncated s32min-s32max
PARAM_VALUE 1 smi_info->si_sm->write_count s32min-s32max
PARAM_VALUE 1 smi_info->si_sm->write_pos s32min-s32max
PARAM_VALUE 1 *smi_info->curr_msg->rsp 0-255
PARAM_VALUE 2 busy_until 1097949263646863360
BUF_SIZE 1 smi_info 128
BUF_SIZE 1 smi_info 128
DATA_SOURCE 0 smi_result r smi_event_handler
DATA_SOURCE 1 smi_info $0