Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../ras/core/aca.c aca_banks_update() -> aca_bank_log()

Type Parameter Key Value
PARAM_VALUE 0 ras_core 4096-ptr_max
PARAM_VALUE 0 ras_core->dev 4096-ptr_max
PARAM_VALUE 0 ras_core->dev->hive->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ras_core->dev->powerplay.pp_handle->msg_ctl.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ras_core->dev->powerplay.pp_handle->msg_ctl.lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ras_core->dev->powerplay.pp_handle->msg_ctl.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ras_core->dev->powerplay.pp_handle->msg_ctl.smu->smc_fw_state 1,3-255
PARAM_VALUE 0 ras_core->dev->reset_domain->refcount.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 ras_core->dev->reset_domain->sem.count.counter s64min-(-2)
PARAM_VALUE 0 ras_core->dev->reset_domain->sem.dep_map->name 0-255
PARAM_VALUE 0 ras_core->dev->reset_domain->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ras_core->dev->reset_domain->sem.first_waiter->type 0-1
PARAM_VALUE 0 ras_core->ras_aca.bank_op_lock.dep_map->name 0-255
PARAM_VALUE 0 ras_core->ras_aca.bank_op_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ras_core->ras_aca.bank_op_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 ras_core->ras_aca.bank_op_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ras_core->ras_aca.bank_op_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ras_core->ras_aca.bank_op_lock.wait_lock.owner (-1)
PARAM_VALUE 0 ras_core->ras_aca.bank_op_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ras_core->ras_log_ring.ras_log_mempool 4096-ptr_max
PARAM_VALUE 0 ras_core->ras_log_ring.ras_log_mempool->curr_nr s32min-s32max
PARAM_VALUE 0 ras_core->ras_log_ring.ras_log_mempool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ras_core->ras_log_ring.spin_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ras_core->ras_mp1.ip_func 4096-ptr_max
PARAM_VALUE 0 ras_core->ras_mp1.ip_func->dump_valid_bank 4096-ptr_max
PARAM_VALUE 0 ras_core->ras_mp1.ip_func->get_valid_bank_count 4096-ptr_max
PARAM_VALUE 0 ras_core->ras_mp1.mp1_ip_version 0,256-u32max
PARAM_VALUE 0 ras_core->ras_mp1.sys_func 4096-ptr_max
PARAM_VALUE 0 ras_core->ras_mp1.sys_func->mp1_dump_valid_bank 1-u64max
PARAM_VALUE 0 ras_core->ras_mp1.sys_func->mp1_get_valid_bank_count 1-u64max
PARAM_VALUE 0 ras_core->seqno_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 idx 0-s32max
PARAM_VALUE 2 total s32min-(-1),1-s32max
PARAM_VALUE 3 bank 5466549352053493760
PARAM_VALUE 4 bank_ecc 8872305279808098304
PARAM_VALUE 4 bank_ecc->ce_count 0-4095
PARAM_VALUE 4 bank_ecc->de_count 0-4095
PARAM_VALUE 4 bank_ecc->ue_count 0-4095
CAPPED_DATA 0 &ras_core->ras_aca.bank_op_lock 1
CAPPED_DATA 1 idx 1
DATA_SOURCE 0 ras_core $0
FUZZY_MAX 1 idx 0
PARAM_COMPARE 1 idx < $2
PARAM_COMPARE 2 total > $1
MEM_ZERO 3 bank
MEM_ZERO 4 bank_ecc
NOCHECK_CALL
LOCK2 0 &ras_core->ras_aca.bank_op_lock
TYPE_LOCK (struct ras_aca)->bank_op_lock