]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/ppc32/kmem_alloc-ppc32.cpp
update
[l4.git] / kernel / fiasco / src / kern / ppc32 / kmem_alloc-ppc32.cpp
index a8c199dbbc19b8e43ae0d7018a624ae8a00b90d5..6ebfdfb47a52c7d7ad7f0f0893a9b8b8cdd501bf 100644 (file)
@@ -36,6 +36,15 @@ Kmem_alloc::Kmem_alloc()
     }
 }
 
+PUBLIC inline //NEEDS["kmem_space.h"]
+Address
+Kmem_alloc::to_phys(void *v) const
+{
+  (void)v;
+  //return Kmem_space::kdir()->virt_to_phys((Address)v);
+  return ~0UL;
+}
+
 //----------------------------------------------------------------------------
 IMPLEMENTATION [ppc32 && debug]: