Searched defs:L4Re_app_model (Results 1 – 1 of 1) sorted by relevance

/l4re-core-master/l4re_kernel/server/src/
A D	loader.h	66 struct L4Re_app_model : public Ldr::Base_app_model<L4Re_stack> struct 73 L4Re_app_model(L4::Cap<L4Re::Rm> rm, void *) : _rm(rm) {} in L4Re_app_model() argument 99 void init_prog() in init_prog() 102 static Const_dataspace reserved_area() in reserved_area() 105 static Dataspace local_kip_ds() in local_kip_ds() 129 typedef Ldr::Local_app_model<L4Re_app_model> L4Re_x_app_model; argument

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023