trusty: Change type of aarch32 flag t bool

Change-Id: Ie4f937808d24c9b45066c6582c4eee61699ef6df

diff --git a/services/spd/trusty/trusty.c b/services/spd/trusty/trusty.c
index 1d6d0748f04728b1f8a4fecf4a8e213d4445c5a0..e62f7396f41a9ba57ce37b34b0bbf8332e59d6fa 100644 (file)
--- 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 {