update

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

diff --git a/kernel/fiasco/src/kern/ux/task-ux.cpp b/kernel/fiasco/src/kern/ux/task-ux.cpp
index 46f5f2eec9dbd75e1f7f7ef2a01be3175ae62bb3..8b6c4ba10b35c89d2989a93567a15aae885080f5 100644 (file)
--- a/kernel/fiasco/src/kern/ux/task-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/task-ux.cpp
@@ -39,8 +39,7 @@ Task::invoke_arch(L4_msg_tag &tag, Utcb *utcb)
 
           unsigned entry_number  = utcb->values[1];
           unsigned idx           = 2;
-          Mword *trampoline_page = (Mword *)Kmem::phys_to_virt
-                                       (Mem_layout::Trampoline_frame);
+          Mword *trampoline_page = (Mword *)Kmem::kernel_trampoline_page;
 
           for (; idx < tag.words()
               ; idx += Utcb_values_per_ldt_entry,