# CONFIG_CORESIGHT_DUMMY is not set
