diff --git a/services/spd/trusty/generic-arm64-smcall.c b/services/spd/trusty/generic-arm64-smcall.c
index 7916fca24cd21aea5866674f53aed8aafe58b523..38da279e4cf582073d22801da0a38d36ac014427 100644
--- 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
--- 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) {