Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/amd-sbi/rmi-core.c rmi_mcamsr_input_ext() -> prepare_mca_msr_input_message_ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | input | 693731381220356096 |
| PARAM_VALUE | 0 | input->proto_cmd | 0 |
| PARAM_VALUE | 0 | input->rd_len | 0 |
| PARAM_VALUE | 0 | input->thread_hi | 0 |
| PARAM_VALUE | 0 | input->thread_lo | 0 |
| PARAM_VALUE | 0 | input->value | 0 |
| PARAM_VALUE | 0 | input->wr_len | 0 |
| DATA_SOURCE | 1 | thread_id | $2 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | thread_id | 0-u16max |
| USER_DATA | 2 | data_in | 0-u32max[c] |
| LOCK2 | &data->lock | ||
| TYPE_LOCK | (struct sbrmi_data)->lock |