- No ARM architecture anymore

2007-12-11 13:21:03 +01:00 · 2007-12-11 13:21:03 +01:00 · 0333c48c94
parent 19a69a7109
commit 0333c48c94
1 changed files with 0 additions and 4 deletions
--- 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);