Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/char/ipmi/ipmi_si_intf.c smi_start_processing() -> (struct si_sm_io)->irq_setup()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->irq_handler_data 4096-ptr_max
PARAM_VALUE 0 io->irq_setup 1-u64max
CONTAINER 0 -88+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ipmi_interfaces_mutex
LOCK2 global &smi_watchers_mutex
HALF_LOCKED2 global &smi_infos_lock
HALF_LOCKED2 global &ssif_infos_mutex