]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/kern/ppc32/utcb_support-ppc32.cpp
update
[l4.git] / kernel / fiasco / src / kern / ppc32 / utcb_support-ppc32.cpp
1 //-------------------------------------------------------------------------
2 IMPLEMENTATION [ppc32]:
3
4 IMPLEMENT inline
5 User<Utcb>::Ptr
6 Utcb_support::current()
7 {
8   Utcb *u;
9   asm volatile ("mr %0, %%r2" : "=r" (u));
10   return User<Utcb>::Ptr(u);
11 }
12
13 IMPLEMENT inline
14 void
15 Utcb_support::current(User<Utcb>::Ptr const &utcb)
16 {
17   asm volatile ("mr %%r2, %0" : : "r" (utcb.get()) : "memory");
18 }