Home
last modified time | relevance | path

Searched refs:L4_BASE_TASK_CAP (Results 1 – 14 of 14) sorted by relevance

/l4re-core-master/l4sys/include/cxx/
A Dcapability.h176 l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_CAP_FPAGE_RWSD), in move()
192 l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_CAP_FPAGE_RWSD), in copy()
/l4re-core-master/l4re_c/include/
A Drm.h280 (l4_addr_t)addr, 0, L4_BASE_TASK_CAP); in l4re_rm_detach()
293 ds, L4_BASE_TASK_CAP); in l4re_rm_detach_ds()
/l4re-core-master/sigma0/server/src/
A Dinit.cc60 l4_debugger_set_object_name(L4_BASE_TASK_CAP, "sigma0"); in init()
/l4re-core-master/l4re/util/libs/
A Dname_space_svr.cc111 if (n->obj()->cap().validate(L4_BASE_TASK_CAP).label() <= 0) in op_query()
159 && n->obj()->cap().validate(L4_BASE_TASK_CAP).label() > 0) in insert_entry()
/l4re-core-master/moe/server/src/
A Dname_space.cc110 && n->cap().validate(L4_BASE_TASK_CAP).label() > 0) in check_existing()
252 if (n->cap().validate(L4_BASE_TASK_CAP).label() <= 0) in op_query()
A Ddataspace_cont.cc93 l4_task_unmap(L4_BASE_TASK_CAP, addr.fp(), L4_FP_OTHER_SPACES); in unmap()
A Ddma_space.cc128 L4::Cap<L4::Task> myself(L4_BASE_TASK_CAP); in is_equal()
230 L4::Cap<L4::Task> myself(L4_BASE_TASK_CAP); in map()
A Dobj_reg.h151 _non_gc.free(cap, L4_BASE_TASK_CAP, unmap_flags);
A Dmain.cc535 l4_task_unmap(l4_utcb(), L4_BASE_TASK_CAP, in main()
560 l4_debugger_set_object_name(L4_BASE_TASK_CAP, "moe"); in main()
A Ddataspace_noncont.cc29 l4_task_unmap(L4_BASE_TASK_CAP, in unmap_page()
/l4re-core-master/l4sys/include/
A Dconsts.h249 L4_BASE_TASK_CAP = 1UL << L4_CAP_SHIFT, enumerator
A Dcapability92 return is_valid() ? l4_task_cap_valid_u(L4_BASE_TASK_CAP, _c, u)
/l4re-core-master/l4re/util/include/
A Dcap40 return l4_task_unmap(L4_BASE_TASK_CAP,
/l4re-core-master/l4re_kernel/server/src/
A Dmain.cc169 l4_debugger_set_object_name(L4_BASE_TASK_CAP, s + 1); in run()

Completed in 17 milliseconds