Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../pm/swsmu/smu_cmn.c smu_msg_v1_send_msg() -> __smu_msg_v1_send()

Type Parameter Key Value
PARAM_VALUE 0 ctl 4096-ptr_max
PARAM_VALUE 0 ctl->config.num_arg_regs 0-s32max
PARAM_VALUE 0 ctl->message_map 4096-ptr_max
PARAM_VALUE 0 ctl->ops 4096-ptr_max
PARAM_VALUE 0 ctl->smu 4096-ptr_max
PARAM_VALUE 0 ctl->smu->adev->reset_domain->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ctl->smu->adev->reset_domain->sem.first_waiter->type 0-1
PARAM_VALUE 0 ctl->smu->smc_fw_state 1,3-255
PARAM_VALUE 1 index 1-83,85-89,91-96
PARAM_VALUE 2 args 2346627996608536576,7848866061608382464
PARAM_VALUE 2 args->flags 0,3-4
PARAM_VALUE 2 args->msg 0-280
PARAM_VALUE 2 args->num_args 0-3
PARAM_VALUE 2 args->num_out_args 0-2
PARAM_VALUE 2 args->timeout 0
BUF_SIZE 0 ctl 224
CAPPED_DATA 2 args->num_args 1
CAPPED_DATA 2 args->num_out_args 1
DATA_SOURCE 0 ctl $0
DATA_SOURCE 2 args $1
FUZZY_MAX 0 ctl->smu->smc_fw_state 1
PARAM_COMPARE 2 args->num_args <= $0->config.num_arg_regs
PARAM_COMPARE 2 args->num_out_args <= $0->config.num_arg_regs
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &ctl->lock