Home
last modified time | relevance | path

Searched refs:L4_CAP_FPAGE_RWS (Results 1 – 15 of 15) sorted by relevance

/l4re-core-master/l4sys/include/
A D__kernel_object_impl.h24 mr->mr[words + 1] = l4_obj_fpage(obj, 0, L4_CAP_FPAGE_RWS).raw; in l4_invoke_debugger()
A Drcv_endpoint.h74 m->mr[3] = l4_obj_fpage(thread, 0, L4_CAP_FPAGE_RWS).raw; in l4_rcv_ep_bind_thread_u()
A D__l4_fpage.h192 L4_CAP_FPAGE_RWS = L4_CAP_FPAGE_RW | L4_CAP_FPAGE_S, enumerator
198 L4_CAP_FPAGE_RWSD = L4_CAP_FPAGE_RWS | L4_CAP_FPAGE_D,
A Dicu.h377 m->mr[3] = l4_obj_fpage(irq, 0, L4_CAP_FPAGE_RWS).raw; in l4_icu_bind_u()
389 m->mr[3] = l4_obj_fpage(irq, 0, L4_CAP_FPAGE_RWS).raw; in l4_icu_unbind_u()
A Dirq.h237 m->mr[2] = l4_obj_fpage(slave, 0, L4_CAP_FPAGE_RWS).raw; in l4_irq_mux_chain_u()
A Dscheduler.h272 m->mr[6] = l4_obj_fpage(thread, 0, L4_CAP_FPAGE_RWS).raw; in l4_scheduler_run_thread_u()
A Dthread.h758 v->mr[L4_THREAD_CONTROL_MR_IDX_BIND_TASK + 1] = l4_obj_fpage(task, 0, L4_CAP_FPAGE_RWS).raw; in l4_thread_control_bind_u()
934 m->mr[2] = l4_obj_fpage(irq, 0, L4_CAP_FPAGE_RWS).raw; in l4_thread_register_del_irq_u()
A Dtask.h288 v->mr[4] = l4_obj_fpage(src_task, 0, L4_CAP_FPAGE_RWS).raw; in l4_task_map_u()
A Dfactory.h333 v->mr[4] = l4_obj_fpage(thread_cap, 0, L4_CAP_FPAGE_RWS).raw; in l4_factory_create_gate_u()
/l4re-core-master/l4sys/include/cxx/
A Dcapability.h72 l4_fpage_t fpage(unsigned rights = L4_CAP_FPAGE_RWS) const noexcept
A Dipc_types639 * #L4_CAP_FPAGE_RWS rights.
645 { return Cap<T>(cap, L4_CAP_FPAGE_RWS); }
/l4re-core-master/moe/server/src/
A Dloader.cc101 chksys(t->map(L4Re::This_task, i.cap().fpage(L4_CAP_FPAGE_RWS), in map_initial_caps()
/l4re-core-master/ned/server/src/
A Dlua_cap.cc305 c->set_rights(L4_CAP_FPAGE_RWS); in register_cap()
/l4re-core-master/sigma0/server/src/
A Dmemmap.cc67 a->snd_fpage(l4_obj_fpage(_next_gate, 0, L4_CAP_FPAGE_RWS)); in new_client()
/l4re-core-master/l4re/include/
A Dnamespace73 Rws = L4_CAP_FPAGE_RWS, ///< Read-write + strong

Completed in 37 milliseconds