Searched refs:L4_CAP_OFFSET (Results 1 – 5 of 5) sorted by relevance
134 L4_CAP_OFFSET = 1UL << L4_CAP_SHIFT, enumerator
461 { return c + L4_CAP_OFFSET; } in l4_capability_next()
81 env->first_free_cap((s.cap() + L4_CAP_OFFSET) >> L4_CAP_SHIFT); in __pthread_l4_initialize_main_thread()
57 static l4_cap_idx_t _next_gate = L4_BASE_CAPS_LAST + L4_CAP_OFFSET; in new_client()
123 *current += L4_CAP_OFFSET;
Completed in 144 milliseconds