Antonio Nino Diaz fe199e3bac Remove all other deprecated interfaces and files ... Change-Id: Icd1cdd42afdc78895a9be6c46b414b0a155cfa63 Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>		2018-09-28 15:31:53 +01:00
..
psci_helpers.S	Remove all other deprecated interfaces and files	2018-09-28 15:31:53 +01:00