update

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

diff --git a/kernel/fiasco/src/kern/ux/space-ux.cpp b/kernel/fiasco/src/kern/ux/space-ux.cpp
index 1e589cb8d41bff8d89435b3429aaded703296df1..f2128754dcdf12ae7de4ef6300330c03dec7f818 100644 (file)
--- a/kernel/fiasco/src/kern/ux/space-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/space-ux.cpp
@@ -1,12 +1,5 @@
 IMPLEMENTATION[ux]:
 
-PUBLIC inline
-pid_t
-Space::pid() const             // returns host pid number
-{
-  return mem_space()->pid();
-}
-
 IMPLEMENT inline
 void
 Space::switchin_ldt() const