Searched refs:utcbs_end (Results 1 – 2 of 2) sorted by relevance
327 __l4_add_utcbs(l4_addr_t start, l4_addr_t utcbs_end) in __l4_add_utcbs() argument332 while ((l4_addr_t)free_utcb + L4_UTCB_OFFSET <= utcbs_end) in __l4_add_utcbs()359 l4_addr_t utcbs_end = in __pthread_initialize_minimal() local361 __l4_add_utcbs(free_utcb, utcbs_end); in __pthread_initialize_minimal()
288 extern void __l4_add_utcbs(l4_addr_t start, l4_addr_t utcbs_end);
Completed in 11 milliseconds