Dimitris Papastamos 2c3a10780d 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>		2018-05-23 12:45:48 +01:00
..
arm_arch_svc_setup.c	Rename symbols and files relating to CVE-2017-5715	2018-05-23 12:45:48 +01:00