Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_devintf.c get_compat_ipmi_recv() -> get_compat_ipmi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p64 | 308687577247494176 |
| PARAM_VALUE | 1 | p32 | 6387599543283200016 |
| MEM_ZERO | 0 | p64 | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | p32->cmd | 0-255 |
| USER_DATA | 1 | p32->data | 0-u32max |
| USER_DATA | 1 | p32->data_len | 0-u16max |
| USER_DATA | 1 | p32->netfn | 0-255 |
drivers/char/ipmi/ipmi_devintf.c get_compat_ipmi_req() -> get_compat_ipmi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p64 | 4818344093925613592,6006570741081833496 |
| PARAM_VALUE | 1 | p32 | 2029529268426366988,4772875932853035020 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | p32->cmd | 0-255 |
| USER_DATA | 1 | p32->data | 0-u32max |
| USER_DATA | 1 | p32->data_len | 0-u16max |
| USER_DATA | 1 | p32->netfn | 0-255 |