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

Type Parameter Key Value
PARAM_VALUE 0 smi_info 4096-ptr_max
PARAM_VALUE 0 smi_info->handlers 379712806818271232,2810443503978582016,4352604312844619776
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->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 0
PARAM_VALUE 0 smi_info->si_sm->truncated 0
PARAM_VALUE 0 smi_info->si_sm->write_count 0
PARAM_VALUE 0 smi_info->si_sm->write_pos s32min-s32max
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,0x3f67bfffffffd000
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smi_infos_lock