aboutsummaryrefslogtreecommitdiff
path: root/services/spd/tlkd
diff options
context:
space:
mode:
authorJonathan Wright <jonathan.wright@arm.com>2018-03-14 15:56:21 +0000
committerJonathan Wright <jonathan.wright@arm.com>2018-03-26 12:43:05 +0100
commit185a23ffa3b6fc007021ac9bbab2213c63911c0a (patch)
tree3d44244b8123c8be8ee14b355ef8cbc6f248c0ba /services/spd/tlkd
parent649c48f5dca1765eabd42b5d630736a5d1e1f5e2 (diff)
downloadtrusted-firmware-a-185a23ffa3b6fc007021ac9bbab2213c63911c0a.tar.gz
services: fix switch statements to comply with MISRA rules
Ensure (where possible) that switch statements in services comply with MISRA rules 16.1 - 16.7. Change-Id: I47bf6ed4a026201e6fe125ce51842482e99e8bb0 Signed-off-by: Jonathan Wright <jonathan.wright@arm.com>
Diffstat (limited to 'services/spd/tlkd')
-rw-r--r--services/spd/tlkd/tlkd_common.c1
-rw-r--r--services/spd/tlkd/tlkd_main.c2
2 files changed, 3 insertions, 0 deletions
diff --git a/services/spd/tlkd/tlkd_common.c b/services/spd/tlkd/tlkd_common.c
index 483d45b689..d846269b96 100644
--- a/services/spd/tlkd/tlkd_common.c
+++ b/services/spd/tlkd/tlkd_common.c
@@ -49,6 +49,7 @@ uint64_t tlkd_va_translate(uintptr_t va, int type)
break;
default:
assert(0);
+ break;
}
/* get the (NS/S) physical address */
diff --git a/services/spd/tlkd/tlkd_main.c b/services/spd/tlkd/tlkd_main.c
index cb68bff76f..da3b732e55 100644
--- a/services/spd/tlkd/tlkd_main.c
+++ b/services/spd/tlkd/tlkd_main.c
@@ -350,6 +350,7 @@ uint64_t tlkd_smc_handler(uint32_t smc_fid,
* context.
*/
tlkd_synchronous_sp_exit(&tlk_ctx, x1);
+ break;
/*
* These function IDs are used only by TLK to indicate it has
@@ -375,6 +376,7 @@ uint64_t tlkd_smc_handler(uint32_t smc_fid,
* return value to the caller
*/
tlkd_synchronous_sp_exit(&tlk_ctx, x1);
+ break;
/*
* Return the number of service function IDs implemented to