Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 smi_info 4096-ptr_max
PARAM_VALUE 0 smi_info->device_id.manufacturer_id 0-16777215
PARAM_VALUE 0 smi_info->handlers 379712806818271232,2810443503978582016,4352604312844619776
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
NOCHECK_CALL
LOCK2 global &smi_infos_lock