From 8ef782df8b6be2150de9e4568995d26c20b32617 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Arve=20Hj=C3=B8nnev=C3=A5g?= <arve@android.com>
Date: Wed, 28 Feb 2018 17:15:06 -0800
Subject: trusty: Change type of aarch32 flag t bool

Change-Id: Ie4f937808d24c9b45066c6582c4eee61699ef6df
---
 services/spd/trusty/trusty.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/services/spd/trusty/trusty.c b/services/spd/trusty/trusty.c
index 1d6d0748..e62f7396 100644
--- a/services/spd/trusty/trusty.c
+++ b/services/spd/trusty/trusty.c
@@ -13,6 +13,7 @@
 #include <interrupt_mgmt.h>
 #include <platform.h>
 #include <runtime_svc.h>
+#include <stdbool.h>
 #include <string.h>
 
 #include "sm_err.h"
@@ -397,7 +398,7 @@ static int32_t trusty_setup(void)
 	uint32_t instr;
 	uint32_t flags;
 	int ret;
-	int aarch32 = 0;
+	bool aarch32 = false;
 
 	/* Get trusty's entry point info */
 	ep_info = bl31_plat_get_next_image_ep_info(SECURE);
@@ -410,7 +411,7 @@ static int32_t trusty_setup(void)
 
 	if (instr >> 24 == 0xea) {
 		INFO("trusty: Found 32 bit image\n");
-		aarch32 = 1;
+		aarch32 = true;
 	} else if (instr >> 8 == 0xd53810 || instr >> 16 == 0x9400) {
 		INFO("trusty: Found 64 bit image\n");
 	} else {
-- 
cgit v1.2.3