Searched refs:l4re_env (Results 1 – 4 of 4) sorted by relevance
137 L4_INLINE l4re_env_t *l4re_env(void) L4_NOTHROW;185 l4re_env_t *l4re_env() L4_NOTHROW in l4re_env() function228 { return l4re_env_get_cap_e(name, l4re_env()); } in l4re_env_get_cap()
138 void *l4re_env = 0; local181 l4re_env = (void*)auxv_entry->a_un.a_val;386 __rtld_l4re_global_env = l4re_env;
357 l4_fpage_t utcb_area = l4re_env()->utcb_area; in __pthread_initialize_minimal()358 l4_addr_t free_utcb = l4re_env()->first_free_utcb; in __pthread_initialize_minimal()364 l4re_env()->first_free_utcb = ~0UL; in __pthread_initialize_minimal()
367 libsig_be_add_thread(l4re_env()->main_thread); in Sig_handling()
Completed in 7 milliseconds