Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/perf/arm-cmn.c arm_cmn_discover() -> arm_cmn_init_dtm()

Type Parameter Key Value
PARAM_VALUE 0 dtm 1-u64max
PARAM_VALUE 1 xp 4096-ptr_max
PARAM_VALUE 1 xp->pmu_base 4096-ptr_max
PARAM_VALUE 2 idx 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 xp->dtc 0-127[c]
HOST_DATA 1 xp->id 0-7,9-u16max[c]
HOST_DATA 1 xp->logid 0-u16max[c]

drivers/perf/arm-cmn.c arm_cmn_discover() -> arm_cmn_init_dtm()

Type Parameter Key Value
PARAM_VALUE 0 dtm 2-u64max
PARAM_VALUE 1 xp 4096-ptr_max
PARAM_VALUE 1 xp->pmu_base 4096-ptr_max
PARAM_VALUE 2 idx 1
BIT_INFO 1 xp->portid_bits 0x2,0x3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 xp->dtc 0-127[c]
HOST_DATA 1 xp->id 0-7,9-u16max[c]
HOST_DATA 1 xp->logid 0-u16max[c]

drivers/perf/arm-cmn.c arm_cmn_discover() -> arm_cmn_init_dtm()

Type Parameter Key Value
PARAM_VALUE 0 dtm 3-u64max
PARAM_VALUE 1 xp 4096-ptr_max
PARAM_VALUE 1 xp->pmu_base 4096-ptr_max
PARAM_VALUE 2 idx 2
BIT_INFO 1 xp->portid_bits 0x2,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 xp->dtc 0-127[c]
HOST_DATA 1 xp->id 0-7,9-u16max[c]
HOST_DATA 1 xp->logid 0-u16max[c]