Searched refs:L4_FPAGE_RIGHTS_SHIFT (Results 1 – 1 of 1) sorted by relevance
59 L4_FPAGE_RIGHTS_SHIFT = 0, ///< Access permissions shift enumerator71 << L4_FPAGE_RIGHTS_SHIFT,569 return (f.raw & L4_FPAGE_RIGHTS_MASK) >> L4_FPAGE_RIGHTS_SHIFT; in l4_fpage_rights()618 t.raw = ((rights << L4_FPAGE_RIGHTS_SHIFT) & L4_FPAGE_RIGHTS_MASK) in __l4_fpage_generic()630 | ((new_rights << L4_FPAGE_RIGHTS_SHIFT) & L4_FPAGE_RIGHTS_MASK); in l4_fpage_set_rights()
Completed in 3 milliseconds