update

[l4.git] / kernel / fiasco / src / kern / arm / utcb_support-arm.cpp

diff --git a/kernel/fiasco/src/kern/arm/utcb_support-arm.cpp b/kernel/fiasco/src/kern/arm/utcb_support-arm.cpp
index 21b536ea167e4c0f4fc62b070cb50b6c167e4452..de213518652d5cf2d33476c8ba55d2d273d11c05 100644 (file)
--- a/kernel/fiasco/src/kern/arm/utcb_support-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/utcb_support-arm.cpp
@@ -27,7 +27,5 @@ Utcb_support::current()
 
 IMPLEMENT inline
 void
-Utcb_support::current(User<Utcb>::Ptr const &utcb)
-{
-  asm volatile ("mcr p15, 0, %0, c13, c0, 3" : : "r" (utcb.get()) : "memory");
-}
+Utcb_support::current(User<Utcb>::Ptr const &)
+{}