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 1d6d074..e62f739 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 @@
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 @@
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 {