# CONFIG_ARM_SCMI_DEBUG_COUNTERS is not set
