L4_CAP_FPAGE_R (reference) in projects: l4re-core-master

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

/l4re-core-master/l4sys/include/
A D	__l4_fpage.h	`161 L4_CAP_FPAGE_R = 0x4, enumerator 178 L4_CAP_FPAGE_RW = L4_CAP_FPAGE_R \| L4_CAP_FPAGE_W, 185 L4_CAP_FPAGE_RS = L4_CAP_FPAGE_R \| L4_CAP_FPAGE_S,`
/l4re-core-master/ned/server/src/
A D	lua_cap.cc	`112 unsigned rights = L4_CAP_FPAGE_R; in __set_mode_call() 122 case 'R': rights \|= L4_CAP_FPAGE_R; break; in __set_mode_call()`
/l4re-core-master/l4re/util/libs/
A D	name_space_svr.cc	`141 unsigned flags = L4_CAP_FPAGE_R; in op_query()`
/l4re-core-master/moe/server/src/
A D	name_space.cc	`277 unsigned flags = L4_CAP_FPAGE_R; in op_query()`
/l4re-core-master/l4sys/include/cxx/
A D	ipc_types	`570 : _cap_n_rights((cap.cap() & Cap_mask) \| (cap ? L4_CAP_FPAGE_R : 0)) 576 : _cap_n_rights((cap.cap() & Cap_mask) \| (cap ? L4_CAP_FPAGE_R : 0))`
A D	ipc_iface	`246 * insufficient rights). #L4_CAP_FPAGE_R is always on but`

Completed in 7 milliseconds