Home
last modified time | relevance | path

Searched refs:l4_obj_fpage (Results 1 – 13 of 13) sorted by relevance

/l4re-core-master/l4sys/include/
A Dtask.h288 v->mr[4] = l4_obj_fpage(src_task, 0, L4_CAP_FPAGE_RWS).raw; in l4_task_map_u()
375 return l4_task_unmap_u(task, l4_obj_fpage(obj, 0, L4_CAP_FPAGE_RWSD), in l4_task_delete_obj_u()
390 return l4_task_unmap_u(task, l4_obj_fpage(cap, 0, L4_CAP_FPAGE_RWSD), in l4_task_release_cap_u()
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.h354 l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW;
647 l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW in l4_obj_fpage() function
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 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/libsigma0/lib/src/
A Dclient.c23 b->br[1] = l4_obj_fpage(gate, 0, 0).raw; in l4sigma0_new_client()
/l4re-core-master/l4re/util/include/
A Dcap41 l4_obj_fpage(cap.cap(), 0, L4_FPAGE_RWX),
/l4re-core-master/l4sys/include/cxx/
A Dcapability.h73 { return l4_obj_fpage(_c, 0, rights); }
/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()

Completed in 17 milliseconds