/*
- * (c) 2008-2009 Technische Universität Dresden
+ * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ * Alexander Warg <warg@os.inf.tu-dresden.de>,
+ * Frank Mehnert <fm3@os.inf.tu-dresden.de>
+ * economic rights: Technische Universität Dresden (Germany)
+ *
* This file is part of TUD:OS and distributed under the terms of the
* GNU General Public License 2.
* Please see the COPYING-GPL-2 file for details.
#include <l4/l4re_vfs/backend>
-#if defined(ARCH_arm) || defined(ARCH_ppc32)
+#if defined(ARCH_arm) || defined(ARCH_ppc32) || defined(ARCH_sparc)
static void l4_busy_wait_ns(unsigned long val)
{
static volatile int fooo = 0;