kernel/fiasco/src/kern/arm/utcb_support-arm.cpp

   1 // ------------------------------------------------------------------------
   2 IMPLEMENTATION [arm && !armv6plus]:
   3
   4 #include "mem_layout.h"
   5
   6 IMPLEMENT inline NEEDS["mem_layout.h"]
   7 void
   8 Utcb_support::current(User<Utcb>::Ptr const &utcb)
   9 { *reinterpret_cast<User<Utcb>::Ptr*>(Mem_layout::Utcb_ptr_page) = utcb; }
  10
  11 // ------------------------------------------------------------------------
  12 IMPLEMENTATION [arm && armv6plus]:
  13
  14 IMPLEMENT inline
  15 void
  16 Utcb_support::current(User<Utcb>::Ptr const &)
  17 {}