Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_si_intf.c setup_xaction_handlers() -> setup_dell_poweredge_bt_xaction_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->device_id.product_id 0-u16max
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->oem_data_avail_handler 7073021842653339648
PARAM_VALUE 0 smi_info->si_num 0-11
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->si_sm->write_data 0-255
BUF_SIZE 0 smi_info (-1),512
BUF_SIZE 0 smi_info (-1),512
BUF_SIZE 0 smi_info->handlers 64
DATA_SOURCE 0 smi_info $0
BIT_INFO 0 smi_info->handlers 0x400020932009000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 smi_info->io.addr_data
NO_OVERFLOW_SIMPLE 0 smi_info->si_sm->io->addr_data
LOCK2 global &smi_infos_lock