Lines Matching refs:L4Re
68 typedef L4::Cap<L4Re::Dataspace> Const_dataspace;
69 typedef L4::Cap<L4Re::Dataspace> Dataspace;
71 L4::Cap<L4Re::Rm> _rm;
73 L4Re_app_model(L4::Cap<L4Re::Rm> rm, void *) : _rm(rm) {} in L4Re_app_model()
81 L4Re::Rm::Flags flags, char const *what);
95 L4Re::Rm::Flags flags, unsigned char align);
103 { return L4::Cap<L4Re::Dataspace>::Invalid; } in reserved_area()
107 return L4::Cap<L4Re::Dataspace>(Global::l4re_aux->kip_ds); in local_kip_ds()
115 return L4::Cap<L4Re::Dataspace>(Global::l4re_aux->kip_ds); in prog_kip_ds()
125 L4Re::Env *add_env();
126 void start_prog(L4Re::Env const *env);
134 bool start(L4::Cap<L4Re::Dataspace> bin, Region_map *rm, l4re_aux_t *aux);
135 bool __start(L4::Cap<L4Re::Dataspace> bin, Region_map *rm);
136 virtual bool launch(L4::Cap<L4Re::Dataspace> bin, L4::Cap<L4Re::Rm>) = 0;