Searched refs:L4_FPAGE_C_OBJ_RIGHTS (Results 1 – 3 of 3) sorted by relevance
177 snd_base(L4_MAP_ITEM_GRANT) | L4_FPAGE_C_OBJ_RIGHTS); in move()193 snd_base() | L4_FPAGE_C_OBJ_RIGHTS); in copy()
552 * #L4_FPAGE_RIGHTS_MASK | #L4_FPAGE_C_NO_REF_CNT | #L4_FPAGE_C_OBJ_RIGHTS).663 { return Cap<T>(cap, L4_CAP_FPAGE_RWSD | L4_FPAGE_C_OBJ_RIGHTS); }
250 L4_FPAGE_C_OBJ_RIGHTS = 0xe0, ///< All Object-type specific right bits. enumerator
Completed in 5 milliseconds