Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/panfrost/panfrost_dump.c panfrost_core_dump() -> panfrost_core_dump_header()

Type Parameter Key Value
PARAM_VALUE 0 iter 2145663384625143808
PARAM_VALUE 0 iter->hdr 4097-18446744073709547521
PARAM_VALUE 0 iter->start 4096-ptr_max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 data_end 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/panfrost/panfrost_dump.c panfrost_core_dump() -> panfrost_core_dump_header()

Type Parameter Key Value
PARAM_VALUE 0 iter 2145663384625143808
PARAM_VALUE 0 iter->hdr 4098-ptr_max
PARAM_VALUE 0 iter->start 4096-ptr_max
PARAM_VALUE 1 type 2
PARAM_VALUE 2 data_end 4096-ptr_max
NOCHECK_CALL
UNITS 2 data_end unit_byte
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/panfrost/panfrost_dump.c panfrost_core_dump() -> panfrost_core_dump_header()

Type Parameter Key Value
PARAM_VALUE 0 iter 2145663384625143808
PARAM_VALUE 0 iter->hdr 4097-18446744073709547521
PARAM_VALUE 0 iter->start 4096-ptr_max
PARAM_VALUE 1 type 3
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/panfrost/panfrost_dump.c panfrost_core_dump_registers() -> panfrost_core_dump_header()

Type Parameter Key Value
PARAM_VALUE 0 iter 2145663384625143808
PARAM_VALUE 0 iter->data 4096-ptr_max
PARAM_VALUE 0 iter->hdr 4096-ptr_max
PARAM_VALUE 0 iter->start 4096-ptr_max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 data_end 4097-u64max
DATA_SOURCE 0 iter $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock