tzc380: Fix some asserts
Antonio Nino Diaz authored
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: default avatarAntonio Nino Diaz <antonio.ninodiaz@arm.com>
df54406d
Name Last commit Last update
..