Searched refs:mgr_alloc_utcb (Results 1 – 1 of 1) sorted by relevance
627 static inline l4_utcb_t *mgr_alloc_utcb() in mgr_alloc_utcb() function650 mgr->p_tid = mgr_alloc_utcb(); in __pthread_start_manager()713 l4_utcb_t *new_utcb = mgr_alloc_utcb(); in pthread_handle_create()
Completed in 4 milliseconds