# CONFIG_CORESIGHT_TPDA is not set
