Sandrine Bailleux 7beb5ec173 Remove duplicate TZC-400 header file ... Because we needed to configure the trustzone controller on Juno, minimal support for the TZC-400 had been added. However, a proper TZC-400 driver has been introduced since then. This patch removes the old, minimal header file and makes the necessary changes to use the new one. Change-Id: I4af1d8fb423e3214a0020c527bd2c1c2fcdb5c56		2014-06-05 17:39:40 +01:00
..
cci400	Split platform.h into separate headers	2014-05-23 15:52:29 +01:00
gic	Introduce interrupt registration framework in BL3-1	2014-05-22 17:46:56 +01:00
pl011	Split platform.h into separate headers	2014-05-23 15:52:29 +01:00
tzc400	Reduce deep nesting of header files	2014-05-06 13:57:48 +01:00