# CONFIG_CORESIGHT_CTCU is not set
