tree ea2dcc4903eac07aa7b1c1c83f3f72373b8ca0d8
parent 0d018306d41a36582830e58761cba9d5b647f05b
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1523024974 +0100
committer Dimitris Papastamos <dimitris.papastamos@arm.com> 1527075948 +0100

Rename symbols and files relating to CVE-2017-5715

This patch renames symbols and files relating to CVE-2017-5715 to make
it easier to introduce new symbols and files for new CVE mitigations.

Change-Id: I24c23822862ca73648c772885f1690bed043dbc7
Signed-off-by: Dimitris Papastamos <dimitris.papastamos@arm.com>