Home
last modified time | relevance | path

Searched refs:L4_FPAGE_RIGHTS_MASK (Results 1 – 3 of 3) sorted by relevance

/l4re-core-master/l4sys/include/
A D__l4_fpage.h70 L4_FPAGE_RIGHTS_MASK = ((1UL << L4_FPAGE_RIGHTS_BITS) - 1) enumerator
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()
/l4re-core-master/sigma0/server/src/
A Dinit_mem.cc76 & L4_FPAGE_RIGHTS_MASK)))) in init_memory()
/l4re-core-master/l4sys/include/cxx/
A Dipc_types552 * #L4_FPAGE_RIGHTS_MASK | #L4_FPAGE_C_NO_REF_CNT | #L4_FPAGE_C_OBJ_RIGHTS).

Completed in 4 milliseconds