diff --git a/lib/xlat_tables_v2/xlat_tables_internal.c b/lib/xlat_tables_v2/xlat_tables_internal.c
index 940337bef69697e23c979902850aed0cf8585e93..cd6e11c0330f3ac4ee4ec86dab144279e30df47a 100644
--- a/lib/xlat_tables_v2/xlat_tables_internal.c
+++ b/lib/xlat_tables_v2/xlat_tables_internal.c
@@ -1123,7 +1123,7 @@ void xlat_tables_print(xlat_ctx_t *ctx)
 	int used_page_tables;
 #if PLAT_XLAT_TABLES_DYNAMIC
 	used_page_tables = 0;
-	for (int i = 0; i < ctx->tables_num; ++i) {
+	for (unsigned int i = 0; i < ctx->tables_num; ++i) {
 		if (ctx->tables_mapped_regions[i] != 0)
 			++used_page_tables;
 	}