plat-ti: Add AM43xx platform services
The AM43xx ROM has a different monitor API set than DRA7xx/AM57xx
devices, implement these services here.
Signed-off-by: Andrew F. Davis <afd@ti.com>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
diff --git a/scripts/checkpatch_inc.sh b/scripts/checkpatch_inc.sh
index b65c0d2..c394b05 100644
--- a/scripts/checkpatch_inc.sh
+++ b/scripts/checkpatch_inc.sh
@@ -3,7 +3,7 @@
CHECKPATCH="${CHECKPATCH:-checkpatch.pl}"
# checkpatch.pl will ignore the following paths
CHECKPATCH_IGNORE=$(echo core/lib/lib{fdt,tomcrypt} lib/lib{png,utils,zlib} \
- core/arch/arm/plat-ti/api_monitor_index_a15.h)
+ core/arch/arm/plat-ti/api_monitor_index_a{9,15}.h)
_CP_EXCL=$(for p in $CHECKPATCH_IGNORE; do echo ":(exclude)$p" ; done)
function _checkpatch() {