Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_si_mem_io.c ipmi_si_mem_setup() -> mem_region_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 2709098251240890368 |
| PARAM_VALUE | 0 | io->addr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->addr_data | 1-u64max |
| PARAM_VALUE | 0 | io->addr_source | 0,6 |
| PARAM_VALUE | 0 | io->addr_space | 0-1 |
| PARAM_VALUE | 0 | io->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->inputb | 2705148525107040256,4058584779236139008,5034118091504291840,7569512811007090688 |
| PARAM_VALUE | 0 | io->io_cleanup | 0,1494723297745719296,8299991202048851968 |
| PARAM_VALUE | 0 | io->io_setup | 0,2176380740067897344,4910679958377070592 |
| PARAM_VALUE | 0 | io->irq_cleanup | 0 |
| PARAM_VALUE | 0 | io->irq_handler_data | 0 |
| PARAM_VALUE | 0 | io->irq_setup | 0,7265225819758518272 |
| PARAM_VALUE | 0 | io->outputb | 527857052858183680,3716644053295259648,4810246160939495424,6975702294118043648 |
| PARAM_VALUE | 0 | io->regshift | 0 |
| PARAM_VALUE | 0 | io->regsize | 1-2,4,8 |
| PARAM_VALUE | 0 | io->regspacing | 0-1,4 |
| PARAM_VALUE | 0 | io->si_info | 0,677995498887417856,2070143398480551936,4961528650501611520 |
| PARAM_VALUE | 0 | io->slave_addr | 0 |
| PARAM_VALUE | 1 | num | 0 |
| DATA_SOURCE | 0 | io | $0 |
| PARAM_COMPARE | 1 | num | < $0->io_size |
| BIT_INFO | 0 | io->inputb | 0x40040080000,0x7ddefffbfffff000 |
| BIT_INFO | 0 | io->outputb | 0x100080000,0x77dfff77fffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | io->addr_data | |
| HALF_LOCKED2 | global &smi_infos_lock |
drivers/char/ipmi/ipmi_si_mem_io.c ipmi_si_mem_setup() -> mem_region_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 2709098251240890368 |
| PARAM_VALUE | 0 | io->addr | 0 |
| PARAM_VALUE | 0 | io->addr_data | 1-u64max |
| PARAM_VALUE | 0 | io->addr_source | 0,6 |
| PARAM_VALUE | 0 | io->addr_space | 0-1 |
| PARAM_VALUE | 0 | io->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->inputb | 2705148525107040256,4058584779236139008,5034118091504291840,7569512811007090688 |
| PARAM_VALUE | 0 | io->io_cleanup | 0,1494723297745719296,8299991202048851968 |
| PARAM_VALUE | 0 | io->io_setup | 0,2176380740067897344,4910679958377070592 |
| PARAM_VALUE | 0 | io->io_size | 0 |
| PARAM_VALUE | 0 | io->irq_cleanup | 0 |
| PARAM_VALUE | 0 | io->irq_handler_data | 0 |
| PARAM_VALUE | 0 | io->irq_setup | 0,7265225819758518272 |
| PARAM_VALUE | 0 | io->outputb | 527857052858183680,3716644053295259648,4810246160939495424,6975702294118043648 |
| PARAM_VALUE | 0 | io->regshift | 0 |
| PARAM_VALUE | 0 | io->regsize | 1-2,4,8 |
| PARAM_VALUE | 0 | io->regspacing | 0-1,4 |
| PARAM_VALUE | 0 | io->si_info | 0,677995498887417856,2070143398480551936,4961528650501611520 |
| PARAM_VALUE | 0 | io->slave_addr | 0 |
| PARAM_VALUE | 1 | num | 0 |
| DATA_SOURCE | 0 | io | $0 |
| BIT_INFO | 0 | io->inputb | 0x40040080000,0x7ddefffbfffff000 |
| BIT_INFO | 0 | io->outputb | 0x100080000,0x77dfff77fffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | io->addr_data | |
| HALF_LOCKED2 | global &smi_infos_lock |
drivers/char/ipmi/ipmi_si_mem_io.c mem_cleanup() -> mem_region_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 2709098251240890368 |
| PARAM_VALUE | 0 | io->addr | 4096-ptr_max |
| PARAM_VALUE | 0 | io->addr_source | 0,6 |
| PARAM_VALUE | 0 | io->addr_space | 0-1 |
| PARAM_VALUE | 0 | io->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->inputb | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->io_cleanup | 0,1494723297745719296,8299991202048851968 |
| PARAM_VALUE | 0 | io->io_setup | 0,2176380740067897344,4910679958377070592 |
| PARAM_VALUE | 0 | io->io_size | 0 |
| PARAM_VALUE | 0 | io->irq_cleanup | 0 |
| PARAM_VALUE | 0 | io->irq_handler_data | 0 |
| PARAM_VALUE | 0 | io->irq_setup | 0,7265225819758518272 |
| PARAM_VALUE | 0 | io->outputb | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->regshift | 0 |
| PARAM_VALUE | 0 | io->regsize | 0-1 |
| PARAM_VALUE | 0 | io->regspacing | 0-1,4 |
| PARAM_VALUE | 0 | io->si_info | 0,677995498887417856,2070143398480551936,4961528650501611520 |
| PARAM_VALUE | 0 | io->slave_addr | 0 |
| PARAM_VALUE | 1 | num | 0 |
| CAPPED_DATA | 0 | io->addr | 1 |
| DATA_SOURCE | 0 | io | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | io->addr_data | |
| HALF_LOCKED2 | global &smi_infos_lock |