Home
last modified time | relevance | path

Searched refs:L4_FPAGE_RX (Results 1 – 6 of 6) sorted by relevance

/l4re-core-master/l4re_c/include/
A Dnamespace.h42 L4RE_NS_REGISTER_RW = L4_FPAGE_RX,
A Ddataspace.h63 L4RE_DS_F_RX = L4_FPAGE_RX,
/l4re-core-master/libsigma0/lib/src/
A Dkip.c32 b->br[1] = l4_fpage(addr, log2_size, L4_FPAGE_RX).raw; in l4sigma0_map_kip()
/l4re-core-master/sigma0/server/src/
A Dmemmap.cc51 a->snd_fpage((l4_umword_t) l4_info, L4_LOG2_PAGESIZE, L4_FPAGE_RX, true); in map_kip()
163 L4_fpage_rights dr = inst_fetch ? (write ? L4_FPAGE_RWX : L4_FPAGE_RX) in handle_page_fault()
/l4re-core-master/l4sys/include/
A D__l4_fpage.h115 L4_FPAGE_RX = L4_FPAGE_RO | L4_FPAGE_X, /**< Read-execute flex page */ enumerator
/l4re-core-master/l4re/include/
A Ddataspace88 RX = L4_FPAGE_RX,

Completed in 6 milliseconds