Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_si_intf.c try_smi_init() -> (struct si_sm_handlers)->detect()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->BT_CAP_retries s32min-s32max
PARAM_VALUE 0 kcs->complete 0-4294967295
PARAM_VALUE 0 kcs->error_retries 0
PARAM_VALUE 0 kcs->io s64min-(-4096),4096-s64max
PARAM_VALUE 0 kcs->nonzero_status s32min-s32max
PARAM_VALUE 0 kcs->orig_write_count 0,2-272
PARAM_VALUE 0 kcs->read_count s32min-s32max
PARAM_VALUE 0 kcs->read_pos s32min-s32max
PARAM_VALUE 0 kcs->seq 0-255
PARAM_VALUE 0 kcs->state 0
PARAM_VALUE 0 kcs->truncated 0
PARAM_VALUE 0 kcs->write_count 0
PARAM_VALUE 0 kcs->write_pos s32min-s32max
BUF_SIZE 0 kcs 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 kcs 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 kcs r _kmalloc_noprof
CONTAINER 0 *(-40-24+16) $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smi_infos_lock