Inital import

[l4.git] / kernel / fiasco / src / kern / ppc32 / space-ppc32.cpp

IMPLEMENTATION [ppc32]: // -------------------------------------------------

IMPLEMENT inline
void
Space::switchin_ldt() const
{}