Merge pull request #1388 from vwadekar/report-cve-2017-5715
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Mon, 20 Aug 2018 13:57:39 +0000 (14:57 +0100)
committerGitHub <noreply@github.com>
Mon, 20 Aug 2018 13:57:39 +0000 (14:57 +0100)
cpus: denver: report CVE_2017_5715 mitigation to higher layers


Trivial merge