Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/amd-sbi/rmi-core.c rmi_mcamsr_input() -> prepare_mca_msr_input_message()

Type Parameter Key Value
PARAM_VALUE 0 input 306330506502676480
PARAM_VALUE 0 input->proto_cmd 0
PARAM_VALUE 0 input->rd_len 0
PARAM_VALUE 0 input->thread 0
PARAM_VALUE 0 input->value 0
PARAM_VALUE 0 input->wr_len 0
DATA_SOURCE 1 thread_id $2 [m]
NOCHECK_CALL
USER_DATA 1 thread_id 0-255
USER_DATA 2 data_in 0-u32max[c]
LOCK2 &data->lock
TYPE_LOCK (struct sbrmi_data)->lock