Commit daf0a726 authored by Arve Hjønnevåg's avatar Arve Hjønnevåg
Browse files

trusty: Fix reported static check errors

Change-Id: I9f9a8a159b41be1c865a20801d03a1b2934c3cac
parent 8ef782df
...@@ -66,7 +66,7 @@ static uint64_t trusty_generic_platform_smc(uint32_t smc_fid, ...@@ -66,7 +66,7 @@ static uint64_t trusty_generic_platform_smc(uint32_t smc_fid,
void *handle, void *handle,
uint64_t flags) uint64_t flags)
{ {
switch(smc_fid) { switch (smc_fid) {
case SMC_FC_DEBUG_PUTC: case SMC_FC_DEBUG_PUTC:
trusty_dputc(x1, is_caller_secure(flags)); trusty_dputc(x1, is_caller_secure(flags));
SMC_RET1(handle, 0); SMC_RET1(handle, 0);
......
...@@ -409,7 +409,7 @@ static int32_t trusty_setup(void) ...@@ -409,7 +409,7 @@ static int32_t trusty_setup(void)
instr = *(uint32_t *)ep_info->pc; instr = *(uint32_t *)ep_info->pc;
if (instr >> 24 == 0xea) { if (instr >> 24 == 0xeaU) {
INFO("trusty: Found 32 bit image\n"); INFO("trusty: Found 32 bit image\n");
aarch32 = true; aarch32 = true;
} else if (instr >> 8 == 0xd53810 || instr >> 16 == 0x9400) { } else if (instr >> 8 == 0xd53810 || instr >> 16 == 0x9400) {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment