Home
last modified time | relevance | path

Searched refs:first_free_cap (Results 1 – 8 of 8) sorted by relevance

/l4re-core-master/l4re_kernel/server/src/
A Dglobals.cc45 cap_alloc.construct(env->first_free_cap()); in init()
46 env->first_free_cap(env->first_free_cap() + Global::Max_local_rm_caps); in init()
A Dloader.cc298 app_thread = Cap<Thread>(env->first_free_cap() << L4_CAP_SHIFT); in start()
299 env->first_free_cap((app_thread.cap() >> L4_CAP_SHIFT)+1); in start()
/l4re-core-master/l4re/util/libs/
A Dcap_alloc.cc36 __cap_alloc(L4Re::Env::env()->first_free_cap());
55 _ds = L4::Cap<L4Re::Dataspace>(e->first_free_cap() << L4_CAP_SHIFT); in Ca()
61 setup(a, Caps, e->first_free_cap() + 1); in Ca()
/l4re-core-master/uclibc/lib/libpthread/src/sysdeps/generic/
A Dlibc-tls.cc125 Cap<Dataspace> ds(Env::env()->first_free_cap() << L4_CAP_SHIFT); in __libc_alloc_initial_tls()
126 ::l4re_global_env->first_free_cap += 1; in __libc_alloc_initial_tls()
/l4re-core-master/uclibc/lib/libpthread/src/
A Dl4.cc70 L4::Cap<Th_sem_cap> s(env->first_free_cap() << L4_CAP_SHIFT); in __pthread_l4_initialize_main_thread()
81 env->first_free_cap((s.cap() + L4_CAP_OFFSET) >> L4_CAP_SHIFT); in __pthread_l4_initialize_main_thread()
/l4re-core-master/l4re/include/
A Denv159 l4_cap_idx_t first_free_cap() const noexcept
160 { return _env.first_free_cap; }
262 void first_free_cap(l4_cap_idx_t c) noexcept
263 { _env.first_free_cap = c; }
A Denv.h118 l4_cap_idx_t first_free_cap; /**< First capability index available to the application */ member
/l4re-core-master/libloader/include/
A Dremote_app_model90 env->first_free_cap(first_free >> L4_CAP_SHIFT);

Completed in 7 milliseconds