update

[l4.git] / kernel / fiasco / src / kern / ia32 / kmem_alloc-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp b/kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp
index 822a6e856c11d8ade22a9c7072fae198746f1cc2..b0d50d4c07a7724aaa4f92180772606bacd09d56 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp
@@ -12,6 +12,13 @@ IMPLEMENTATION [ia32,ux,amd64]:
 #include "panic.h"
 #include "types.h"
 
+PUBLIC static inline
+Phys_mem_addr::Value
+Kmem_alloc::to_phys(void *v)
+{
+  return Mem_layout::pmem_to_phys(v);
+}
+
 PUBLIC static FIASCO_INIT
 bool
 Kmem_alloc::base_init()