From cee1268e9bf9619b60bd85cfda0a5d5306e8cf8a Mon Sep 17 00:00:00 2001
From: Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>
Date: Mon, 11 Jul 2016 14:40:18 +1000
Subject: [PATCH] [VER-619] Pass verification related to newly added built-in
 unreachable

---
 include/arch/arm/arch/fastpath/fastpath.h | 1 +
 src/arch/arm/32/c_traps.c                 | 1 +
 2 files changed, 2 insertions(+)

diff --git a/include/arch/arm/arch/fastpath/fastpath.h b/include/arch/arm/arch/fastpath/fastpath.h
index 00b2e0491..d66bdb19a 100644
--- a/include/arch/arm/arch/fastpath/fastpath.h
+++ b/include/arch/arm/arch/fastpath/fastpath.h
@@ -17,6 +17,7 @@
 void slowpath(syscall_t syscall)
 VISIBLE NORETURN;
 
+/** DONT_TRANSLATE */
 static inline void NORETURN fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
 {
     register word_t badge_reg asm("r0") = badge;
diff --git a/src/arch/arm/32/c_traps.c b/src/arch/arm/32/c_traps.c
index 8e07ad2a3..06bb40aa7 100644
--- a/src/arch/arm/32/c_traps.c
+++ b/src/arch/arm/32/c_traps.c
@@ -15,6 +15,7 @@
 
 #include <api/syscall.h>
 
+/** DONT_TRANSLATE */
 void VISIBLE c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
 {
 #ifdef CONFIG_FASTPATH