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()));
th_attr.pager(env->rm());
th_attr.exc_handler(env->rm());
- th_attr.scheduler(env->rm());
th_attr.bind((l4_utcb_t*)this->_info.utcbs_start, ntask);
chksys(nthread->control(th_attr));