Antonio Nino Diaz df54406df5 tzc380: Fix some asserts ... This driver can be compiled in release builds, but GCC generates warnings for some comparisons and that prevents the firmware from being built in debug builds. Change-Id: Ic52e1b4a11896ecf086864fbe2b5bfc143ec9b1b Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>		2018-12-05 11:21:42 +00:00
..
cci	Mark GICV3, CCI and CCN boot time code as init	2018-10-03 11:48:15 +01:00
ccn	ccn: Introduce API to set and read value of node register	2018-11-23 16:38:43 +05:30
gic	Standardise header guards across codebase	2018-11-08 10:20:19 +00:00
pl011	Multi-console: Deprecate the `finish_console_register` macro	2018-10-19 17:34:52 +01:00
pl061	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
smmu	Mark GICV3, CCI and CCN boot time code as init	2018-10-03 11:48:15 +01:00
sp804	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
sp805	Fix MISRA defects in SP805 driver	2018-07-30 09:30:15 +01:00
tzc	tzc380: Fix some asserts	2018-12-05 11:21:42 +00:00