Home
last modified time | relevance | path

Searched refs:L4_FPAGE_W (Results 1 – 8 of 8) sorted by relevance

/l4re-core-master/l4sys/include/
A D__l4_fpage.h112 L4_FPAGE_W = 2, /**< Writable flex page */ enumerator
114 L4_FPAGE_RW = L4_FPAGE_RO | L4_FPAGE_W, /**< Read-write flex page */
670 return l4_fpage_rights(fp) & L4_FPAGE_W; in l4_is_fpage_writable()
/l4re-core-master/l4re_c/include/
A Dnamespace.h44 L4RE_NS_REGISTER_S = L4_FPAGE_W,
A Ddataspace.h60 L4RE_DS_F_W = L4_FPAGE_W,
/l4re-core-master/sigma0/server/src/
A Dregion.h76 << ((r.rights() & L4_FPAGE_W) ? 'W' : '-')
/l4re-core-master/l4re/include/
A Ddataspace86 W = L4_FPAGE_W,
115 constexpr bool w() const { return raw & L4_FPAGE_W; }
A Drm189 constexpr bool w() const { return raw & L4_FPAGE_W; }
/l4re-core-master/moe/server/src/
A Ddataspace_noncont.cc31 ro ? L4_FPAGE_W : L4_FPAGE_RWX), L4_FP_OTHER_SPACES); in unmap_page()
A Dmain.cc536 l4_fpage(i, L4_PAGESHIFT, L4_FPAGE_W), L4_FP_ALL_SPACES); in main()

Completed in 9 milliseconds