From 0333c48c94926e7a73ef096970138fe8bdb158d5 Mon Sep 17 00:00:00 2001
From: Jan Stoess <stoess@ira.uka.de>
Date: Tue, 11 Dec 2007 13:21:03 +0100
Subject: [PATCH] - No ARM architecture anymore

---
 kernel/src/api/v4/tcb.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/kernel/src/api/v4/tcb.h b/kernel/src/api/v4/tcb.h
index 95bc8c17..8288cdf4 100644
--- a/kernel/src/api/v4/tcb.h
+++ b/kernel/src/api/v4/tcb.h
@@ -191,11 +191,7 @@ public:
 
     /* utcb access functions */
     utcb_t * get_utcb()
-#ifdef CONFIG_ARCH_ARM
-        ;
-#else
         const { return this->utcb; }
-#endif
 
 public:
     void set_scheduler(const threadid_t tid);