Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_crat.c kfd_parse_crat_table() -> kfd_parse_subtype()

Type Parameter Key Value
PARAM_VALUE 0 sub_type_hdr 4096-ptr_max
PARAM_VALUE 0 sub_type_hdr->flags 1-u32max
PARAM_VALUE 0 sub_type_hdr->length 8-255
PARAM_VALUE 1 device_list 4844610723006214144,8059766918827544576
PARAM_VALUE 1 device_list->next 4844610723006214144,8059766918827544576
PARAM_VALUE 1 device_list->prev 4096-ptr_max
PARAM_VALUE 1 device_list->prev->next 4096-ptr_max
PARAM_VALUE 1 device_list->prev->next->next 4844610723006214144,8059766918827544576
CAPPED_DATA 1 device_list 1
DATA_SOURCE 1 device_list $1
PARAM_COMPARE 1 device_list == $1->next
PARAM_COMPARE 1 device_list == $1->next
BIT_INFO 0 sub_type_hdr->flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sub_type_hdr unit_byte
HALF_LOCKED2 global &topology_lock