trusty: Fix reported static check errors

Change-Id: I9f9a8a159b41be1c865a20801d03a1b2934c3cac

diff --git a/services/spd/trusty/generic-arm64-smcall.c b/services/spd/trusty/generic-arm64-smcall.c
index 7916fca24cd21aea5866674f53aed8aafe58b523..38da279e4cf582073d22801da0a38d36ac014427 100644 (file)
--- a/services/spd/trusty/generic-arm64-smcall.c
+++ b/services/spd/trusty/generic-arm64-smcall.c
@@ -66,7 +66,7 @@ static uint64_t trusty_generic_platform_smc(uint32_t smc_fid,
                         void *handle,
                         uint64_t flags)
 {
-       switch(smc_fid) {
+       switch (smc_fid) {
        case SMC_FC_DEBUG_PUTC:
                trusty_dputc(x1, is_caller_secure(flags));
                SMC_RET1(handle, 0);

diff --git a/services/spd/trusty/trusty.c b/services/spd/trusty/trusty.c
index e62f7396f41a9ba57ce37b34b0bbf8332e59d6fa..e27df154a6bb021253b9213ce5d8795f34ee095b 100644 (file)
--- a/services/spd/trusty/trusty.c
+++ b/services/spd/trusty/trusty.c
@@ -409,7 +409,7 @@ static int32_t trusty_setup(void)
 
        instr = *(uint32_t *)ep_info->pc;
 
-       if (instr >> 24 == 0xea) {
+       if (instr >> 24 == 0xeaU) {
                INFO("trusty: Found 32 bit image\n");
                aarch32 = true;
        } else if (instr >> 8 == 0xd53810 || instr >> 16 == 0x9400) {