Home
last modified time | relevance | path

Searched refs:kip_ds (Results 1 – 7 of 7) sorted by relevance

/l4re-core-master/moe/server/src/
A Dloader.h73 return kip_ds; in local_kip_ds()
77 { return kip_ds->obj_cap(); } in local_kip_cap()
A Dglobals.cc19 Moe::Dataspace *kip_ds; variable
A Dglobals.h19 extern Moe::Dataspace *kip_ds;
A Dmain.cc235 kip_ds = new Moe::Dataspace_static(const_cast<l4_kernel_info_t *>(kip()), in init_kip_ds()
237 if (!kip_ds) in init_kip_ds()
243 object_pool.cap_alloc()->alloc(kip_ds); in init_kip_ds()
575 root_name_space()->register_obj("kip", Entry::F_rw, kip_ds->obj_cap()); in main()
/l4re-core-master/l4re_kernel/server/src/
A Dloader.h107 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()
/l4re-core-master/l4re/include/
A Dl4aux.h54 l4_cap_idx_t kip_ds; /**< Data space of the KIP */ member
/l4re-core-master/ned/server/src/
A Dapp_model.h90 return L4::Cap<L4Re::Dataspace>(l4re_aux->kip_ds); in local_kip_ds()

Completed in 7 milliseconds