Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/char/ipmi/ipmi_dmi.c, line 89
- drivers/char/ipmi/ipmi_plat_data.c, line 124
- drivers/char/ipmi/ipmi_si_hardcode.c, line 90
- drivers/char/ipmi/ipmi_si_hotmod.c, line 211
Smatch caller information:
drivers/char/ipmi/ipmi_si_hotmod.c hotmod_handler() -> ipmi_platform_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 2448660880605786112 |
| PARAM_VALUE | 2 | p | 4801985499244138496 |
| PARAM_VALUE | 2 | p->addr_source | 1 |
| PARAM_VALUE | 2 | p->iftype | 0 |
| BUF_SIZE | 0 | name | 15 |
| STR_LEN | 0 | name | 14 |
| TERMINATED | 0 | name | 1 |
| MEM_ZERO | 2 | p | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | p->addr | 0 |
| USER_DATA | 2 | p->irq | 0 |
| USER_DATA | 2 | p->regshift | 0 |
| USER_DATA | 2 | p->regsize | 0-u32max |
| USER_DATA | 2 | p->regspacing | 0-u32max |
| USER_DATA | 2 | p->slave_addr | 0 |
| NO_OVERFLOW_SIMPLE | 2 | p->addr | |
| HALF_LOCKED2 | &of->mutex |
drivers/char/ipmi/ipmi_dmi.c dmi_add_platform_ipmi() -> ipmi_platform_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 184894635340161024,7939393577541844992 |
| PARAM_VALUE | 1 | inst | 0-13 |
| PARAM_VALUE | 2 | p | 7305398070776868864 |
| PARAM_VALUE | 2 | p->addr | 0-255 |
| PARAM_VALUE | 2 | p->addr_source | 5 |
| PARAM_VALUE | 2 | p->iftype | 0-1 |
| PARAM_VALUE | 2 | p->irq | 0-255 |
| PARAM_VALUE | 2 | p->regspacing | 0-1,4,16 |
| PARAM_VALUE | 2 | p->slave_addr | 0-255 |
| PARAM_VALUE | 2 | p->space | 0-1 |
| PARAM_VALUE | 2 | p->type | 0-3 |
| BUF_SIZE | 0 | name | 12,14 |
| BUF_SIZE | 0 | name | 12,14 |
| STR_LEN | 0 | name | 11,13 |
| STR_LEN | 0 | name | 11,13 |
| BIT_INFO | 0 | name | 0x2006020e0424000,0x6ebee4f4f5776000 |
| BIT_INFO | 0 | name | 0x2006020e0424000,0x6ebee4f4f5776000 |
| TERMINATED | 0 | name | 1 |
| MEM_ZERO | 2 | p |
drivers/char/ipmi/ipmi_si_hardcode.c ipmi_hardcode_init_one() -> ipmi_platform_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 703536200826802176 |
| PARAM_VALUE | 2 | p | 5123638753289072640 |
| PARAM_VALUE | 2 | p->addr | 1-u64max |
| PARAM_VALUE | 2 | p->addr_source | 2 |
| PARAM_VALUE | 2 | p->iftype | 0 |
| PARAM_VALUE | 2 | p->space | 0-1 |
| PARAM_VALUE | 2 | p->type | 0-s32max |
| BUF_SIZE | 0 | name | 17 |
| DATA_SOURCE | 1 | inst | $1 |
| STR_LEN | 0 | name | 16 |
| TERMINATED | 0 | name | 1 |
| MEM_ZERO | 2 | p | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | p->type |