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

Searched refs:L4_CAP_FPAGE_W (Results 1 – 10 of 10) sorted by relevance

/l4re-core-master/moe/server/src/
A D	dataspace.h	`92 Flags map_flags(L4Re::Dataspace::Rights rights = L4_CAP_FPAGE_W) const noexcept 96 if (!(rights & L4_CAP_FPAGE_W)) 151 if (!(rights & L4_CAP_FPAGE_W)) in op_info()`
A D	name_space.cc	`278 if (n->is_rw()) flags \|= L4_CAP_FPAGE_W; in op_query()`
A D	dma_space.cc	`269 if (!(src_cap.data() & L4_CAP_FPAGE_W)) in _get_ds()`
/l4re-core-master/l4sys/include/
A D	__l4_fpage.h	`145 L4_CAP_FPAGE_W = 0x1, enumerator 178 L4_CAP_FPAGE_RW = L4_CAP_FPAGE_R \| L4_CAP_FPAGE_W,`
A D	ipc_gate	`67 * and #L4_CAP_FPAGE_W permissions of the capability used. Hence, the label`
/l4re-core-master/l4re/util/include/
A D	dataspace_svr	`205 if (!(rights & L4_CAP_FPAGE_W)) 248 map_flags(L4Re::Dataspace::Rights rights = L4_CAP_FPAGE_W) const noexcept 251 if (!(rights & L4_CAP_FPAGE_W))`
/l4re-core-master/l4re/include/
A D	namespace	`151 L4::Ipc::Call_t<L4_CAP_FPAGE_W>); 187 L4::Ipc::Call_t<L4_CAP_FPAGE_W>);`
/l4re-core-master/ned/server/src/
A D	lua_cap.cc	`124 case 'W': rights \|= L4_CAP_FPAGE_W; break; in __set_mode_call()`
/l4re-core-master/l4re/util/libs/
A D	name_space_svr.cc	`142 if (n->obj()->is_rw()) flags \|= L4_CAP_FPAGE_W; in op_query()`
/l4re-core-master/l4sys/include/cxx/
A D	ipc_iface	`244 * #L4_CAP_FPAGE_W and #L4_CAP_FPAGE_S are checked within the`

Completed in 12 milliseconds