diff options
Diffstat (limited to 'services')
| -rw-r--r-- | services/spd/trusty/trusty.c | 5 |
1 files 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 { |