update

[l4.git] / l4 / pkg / libloader / include / remote_app_model

diff --git a/l4/pkg/libloader/include/remote_app_model b/l4/pkg/libloader/include/remote_app_model
index ff3a367c4bf79b016f90ed6051c2bc94f3ce03ac..29c19205c3b39ae212d659ac7baedf0794ee28bb 100644 (file)
--- a/l4/pkg/libloader/include/remote_app_model
+++ b/l4/pkg/libloader/include/remote_app_model
@@ -96,9 +96,8 @@ public:
   L4::Cap<void> prog_kip_ds() const
   { return L4::Cap<void>(Caps::Kip_cap << L4_CAP_SHIFT); }
 
-  void const *generate_l4aux(char const *before_vma, char const *name)
+  void const *generate_l4aux(char const *name)
   {
-    this->_stack.set_ma_cnt(before_vma);
     this->_stack.push(l4_umword_t(this->prog_info()->ldr_flags));
     this->_stack.push(l4_umword_t(this->prog_info()->l4re_dbg));
     this->_stack.push(l4_umword_t(prog_kip_ds().cap()));