Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_si_intf.c try_smi_init() -> try_enable_event_buffer()

Type Parameter Key Value
PARAM_VALUE 0 smi_info 4096-ptr_max
PARAM_VALUE 0 smi_info->curr_msg 0
PARAM_VALUE 0 smi_info->device_id.manufacturer_id 0-16777215
PARAM_VALUE 0 smi_info->device_id.product_id 0-u16max
PARAM_VALUE 0 smi_info->handlers 379712806818271232,2810443503978582016,4352604312844619776
PARAM_VALUE 0 smi_info->interrupt_disabled 1
PARAM_VALUE 0 smi_info->io.addr_data 1-u32max
PARAM_VALUE 0 smi_info->io.inputb 1413781967609184256,3710936163923865600,6408820839726686208
PARAM_VALUE 0 smi_info->io.io_cleanup 1494723297745719296
PARAM_VALUE 0 smi_info->io.io_size 2-3
PARAM_VALUE 0 smi_info->io.outputb 2638584654901825536,4419112490576080896,7746335941165993984
PARAM_VALUE 0 smi_info->io.regsize 1-2,4
PARAM_VALUE 0 smi_info->io.si_info 4096-ptr_max
PARAM_VALUE 0 smi_info->io.si_info->type 1-3
PARAM_VALUE 0 smi_info->irq_enable_broken 1
PARAM_VALUE 0 smi_info->need_watch.counter 0
PARAM_VALUE 0 smi_info->oem_data_avail_handler 7073021842653339648
PARAM_VALUE 0 smi_info->req_events.counter 0
PARAM_VALUE 0 smi_info->run_to_completion 0
PARAM_VALUE 0 smi_info->si_num 0-13
PARAM_VALUE 0 smi_info->si_sm 4096-ptr_max
PARAM_VALUE 0 smi_info->si_sm->BT_CAP_retries s32min-s32max
PARAM_VALUE 0 smi_info->si_sm->complete 0-4294967295
PARAM_VALUE 0 smi_info->si_sm->error_retries 0
PARAM_VALUE 0 smi_info->si_sm->io s64min-(-4096),4096-s64max
PARAM_VALUE 0 smi_info->si_sm->nonzero_status s32min-s32max
PARAM_VALUE 0 smi_info->si_sm->orig_write_count 0,2-272
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 1
PARAM_VALUE 0 smi_info->si_sm->truncated 0
PARAM_VALUE 0 smi_info->si_sm->write_count 2,4
PARAM_VALUE 0 smi_info->si_sm->write_pos s32min-s32max
PARAM_VALUE 0 smi_info->stats 4096-ptr_max
PARAM_VALUE 0 smi_info->waiting_msg 0
PARAM_VALUE 0 *smi_info->si_sm->write_data 0-255
BUF_SIZE 0 smi_info (-1)-0,16,24,56,64,120,512,1616,7104
BUF_SIZE 0 smi_info (-1)-0,16,24,56,64,120,512,1616,7104
BUF_SIZE 0 smi_info->handlers 64
BUF_SIZE 0 smi_info->si_sm 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 smi_info $0
BIT_INFO 0 smi_info->handlers 0x400020932009000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smi_infos_lock