Open Menu /

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_platform.c acpi_gpe_irq_setup() -> ipmi_irq_finish_setup()

Type Parameter Key Value
PARAM_VALUE 0 io 1264369011154378752
PARAM_VALUE 0 io->addr 0
PARAM_VALUE 0 io->addr_source 0,4
PARAM_VALUE 0 io->addr_space 0-1
PARAM_VALUE 0 io->dev 0,4096-ptr_max
PARAM_VALUE 0 io->inputb 0
PARAM_VALUE 0 io->io_cleanup 0
PARAM_VALUE 0 io->io_setup 0,2176380740067897344,4910679958377070592
PARAM_VALUE 0 io->io_size 0
PARAM_VALUE 0 io->irq s32min-(-1),1-s32max
PARAM_VALUE 0 io->irq_cleanup 8082716054200217600
PARAM_VALUE 0 io->irq_handler_data 0
PARAM_VALUE 0 io->irq_setup 0,7265225819758518272,9161673764839256064
PARAM_VALUE 0 io->outputb 0
PARAM_VALUE 0 io->regshift 0
PARAM_VALUE 0 io->regsize 0-1
PARAM_VALUE 0 io->si_info 0,677995498887417856,2070143398480551936,4961528650501611520
DATA_SOURCE 0 io $0
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

drivers/char/ipmi/ipmi_si_intf.c ipmi_std_irq_setup() -> ipmi_irq_finish_setup()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->irq s32min-(-1),1-s32max
PARAM_VALUE 0 io->irq_cleanup 6307171762892120064
PARAM_VALUE 0 io->irq_handler_data 4096-ptr_max
PARAM_VALUE 0 io->irq_setup 1-u64max
DATA_SOURCE 0 io $0
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