summaryrefslogtreecommitdiff
path: root/services/spd/tlkd/tlkd_common.c
diff options
context:
space:
mode:
Diffstat (limited to 'services/spd/tlkd/tlkd_common.c')
-rw-r--r--services/spd/tlkd/tlkd_common.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/services/spd/tlkd/tlkd_common.c b/services/spd/tlkd/tlkd_common.c
index d846269b..6fec91bc 100644
--- a/services/spd/tlkd/tlkd_common.c
+++ b/services/spd/tlkd/tlkd_common.c
@@ -1,5 +1,5 @@
/*
- * Copyright (c) 2015-2017, ARM Limited and Contributors. All rights reserved.
+ * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
@@ -48,7 +48,7 @@ uint64_t tlkd_va_translate(uintptr_t va, int type)
ats12e0w(va);
break;
default:
- assert(0);
+ assert(0); /* Unreachable */
break;
}