Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/jpeg_v2_5.c jpeg_v2_6_query_ras_poison_status() -> jpeg_v2_6_query_poison_by_instance()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
PARAM_VALUE 0 adev->ddev.anon_inode->i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 adev->jpeg.num_jpeg_inst 1-255
PARAM_VALUE 0 adev->reset_domain->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 adev->reset_domain->sem.first_waiter->type 0-1
PARAM_VALUE 1 instance 0-254
PARAM_VALUE 2 sub_block 0-1
CAPPED_DATA 1 instance 1
DATA_SOURCE 0 adev $0
FUZZY_MAX 2 sub_block 1
PARAM_COMPARE 0 adev->jpeg.num_jpeg_inst > $1
PARAM_COMPARE 1 instance < $0->jpeg.num_jpeg_inst
HARD_MAX 2 sub_block 1
HOST_DATA 0 adev->virt.fw_reserve.checksum_key 0-u32max
HOST_DATA 0 adev->virt.init_data_header.offset 0-u32max
HOST_DATA 0 adev->virt.init_data_header.size_kb 0-u32max
HALF_LOCKED2 &pool->lock