X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/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 21b536ea1..de2135186 100644
--- 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 &)
+{}