Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_kcs_sm.c kcs_event() -> init_kcs_data()

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 0 kcs->ibf_timeout 5000000
PARAM_VALUE 0 kcs->io 4096-ptr_max
PARAM_VALUE 0 kcs->state 10
PARAM_VALUE 1 io 4096-ptr_max
BUF_SIZE 0 kcs (-1),208,608,624
BUF_SIZE 0 kcs (-1),208,608,624
DATA_SOURCE 0 kcs $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 kcs->orig_write_count 3-272[c]
USER_DATA 0 kcs->write_count 3-274[c]
HALF_LOCKED2 global &smi_infos_lock

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

Type Parameter Key Value
PARAM_VALUE 0 kcs 4096-ptr_max
PARAM_VALUE 1 io 4096-ptr_max
PARAM_VALUE 1 io->dev 1-u64max
PARAM_VALUE 1 io->si_info 4096-ptr_max
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 *(-8-24+16) $(-1)
CONTAINER 1 -8-24+128 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smi_infos_lock