tree 67d2caa798bdc5fb4685b914cbd9410b070f03e0
parent 110df92250568ebe5806a85c37706d70cfa6c355
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1544007677 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1544008902 +0000

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>