Searched refs:L4_UTCB_OFFSET (Results 1 – 12 of 12) sorted by relevance
51 L4_UTCB_OFFSET = 512, enumerator
69 L4_UTCB_OFFSET = 512, enumerator
69 L4_UTCB_OFFSET = 1024, enumerator
50 L4_UTCB_OFFSET = 512, enumerator
65 L4_UTCB_OFFSET = 512, enumerator
50 L4_UTCB_OFFSET = 1024, enumerator
79 L4_UTCB_OFFSET = 128 * sizeof(l4_umword_t), enumerator
177 _info.utcbs_log2size = l4util_log2(Default_max_threads * L4_UTCB_OFFSET); in Moe_app_model()
92 env->first_free_utcb(this->_info.utcbs_start + L4_UTCB_OFFSET);
318 env->first_free_utcb(env->first_free_utcb() + L4_UTCB_OFFSET); in start()
332 while ((l4_addr_t)free_utcb + L4_UTCB_OFFSET <= utcbs_end) in __l4_add_utcbs()340 free_utcb += L4_UTCB_OFFSET; in __l4_add_utcbs()
189 * it must point to at least #L4_UTCB_OFFSET bytes of
Completed in 19 milliseconds