Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../ras/core/log_ring.c ras_log_ring_get_batch_records() -> ras_log_ring_lookup_data()

Type Parameter Key Value
PARAM_VALUE 0 ras_core 4096-ptr_max
PARAM_VALUE 0 ras_core->ras_log_ring.last_del_batch_id 0-18446744073709551614
PARAM_VALUE 0 ras_core->ras_log_ring.mono_upward_batch_id 1-u64max
PARAM_VALUE 0 ras_core->ras_umc.ip_func->mca_ipid_parse 4096-ptr_max
PARAM_VALUE 0 ras_core->sys_fn->check_gpu_status 4096-ptr_max
PARAM_VALUE 0 ras_core->sys_fn->detect_ras_interrupt 4096-ptr_max
PARAM_VALUE 0 ras_core->sys_fn->get_device_system_info 4096-ptr_max
PARAM_VALUE 0 ras_core->sys_fn->get_gpu_mem 1-u64max
PARAM_VALUE 0 ras_core->sys_fn->gpu_reset_lock 4096-ptr_max
PARAM_VALUE 0 ras_core->sys_fn->put_gpu_mem 4096-ptr_max
PARAM_VALUE 0 ras_core->sys_fn->ras_notifier 4096-ptr_max
PARAM_VALUE 2 log 4096-ptr_max
DATA_SOURCE 0 ras_core $0
BIT_INFO 1 idx 0x0,0xffffff1f
RX_PATH
TASK_NOT_RUNNING