Home
last modified time | relevance | path

Searched refs:Invalid (Results 1 – 25 of 43) sorted by relevance

12

/l4re-core-master/moe/server/src/
A Dapp_task.cc39 : _task(L4::Cap<L4::Task>::Invalid), in App_task()
40 _thread(L4::Cap<L4::Thread>::Invalid), in App_task()
A Dobj_reg.h67 return L4::Cap<void>::Invalid;
A Dname_space.h111 return L4::Cap<void>::Invalid; in cap()
A Dsched_proxy.cc164 return L4::Cap<L4::Thread>::Invalid; in received_thread()
/l4re-core-master/l4sys/include/
A Dcapability128 return Cap<T>::Invalid;
141 return Cap<T>::Invalid;
A Dsmart_capability60 Smart_cap() noexcept : Cap_base(Invalid) {}
165 Weak_cap() noexcept : Cap_base(Invalid) {}
A Dscheduler93 * \retval -L4_EINVAL Invalid size of the scheduling parameter.
118 * \retval -L4_EINVAL Invalid CPU requested in cpu set.
/l4re-core-master/l4re/util/include/
A Dobject_registry200 * \retval L4::Cap<void>::Invalid No capability with the given name found.
216 * \retval L4::Cap<void>::Invalid The allocation of the IPC gate
233 * \retval L4::Cap<L4::Irq>::Invalid The allocation of the IRQ has failed.
254 * \retval L4::Cap<L4::Rcv_endpoint>::Invalid The IRQ attach operation has failed.
298 o->set_server(0, L4::Cap<void>::Invalid);
A Dbitmap_cap_alloc53 return L4::Cap<void>::Invalid;
A Dbr_manager98 return L4::Cap<void>::Invalid;
A Dicu_svr211 _cap = L4::Cap<L4::Irq>::Invalid;
A Dcounting_cap_alloc148 return L4::Cap<void>::Invalid;
A Dname_space_svr104 return L4::Cap<void>::Invalid;
/l4re-core-master/ned/server/src/
A Dlua_ns.cc121 L4::Cap<void> cap = n ? n->cap<void>().get() : L4::Cap<void>::Invalid; in __register()
/l4re-core-master/l4re_kernel/server/src/
A Dloader.h103 { return L4::Cap<L4Re::Dataspace>::Invalid; } in reserved_area()
/l4re-core-master/l4re/include/
A Ddataspace148 * \retval -L4_ERANGE Invalid offset.
170 * \retval -L4_ERANGE Invalid offset or receive area larger than
239 * \retval -L4_EINVAL Invalid parameter supplied.
A Drm400 : _addr(0), _rm(L4::Cap<Rm>::Invalid) {}
403 : _addr(addr), _rm(L4::Cap<Rm>::Invalid) {}
434 _rm = L4::Cap<Rm>::Invalid;
448 { reset(0, L4::Cap<Rm>::Invalid); }
483 * unmapped. Provide L4::Cap<L4::Task>::Invalid for none.
509 * unmapped. Provide L4::Cap<L4::Task>::Invalid for none.
A Dnamespace170 * \retval -L4_EINVAL Invalid parameter.
/l4re-core-master/l4sys/include/cxx/
A Dcapability.h45 Invalid = L4_INVALID_CAP ///< Invalid capability selector enumerator
A Dipc_epiface342 * \retval L4::Cap<void>::Invalid No capability with the given name found.
355 * \retval L4::Cap<void>::Invalid The allocation of the IPC gate
372 * \retval L4::Cap<L4::Irq>::Invalid The allocation of the IRQ has failed.
390 * \retval L4::Cap<L4::Rcv_endpoint>::Invalid The IRQ attach operation has failed.
A Dipc_server_loop238 /// Returns L4::Cap<void>::Invalid, we have no buffer management
240 { return L4::Cap<void>::Invalid; }
A Dsmart_capability_1x46 Smart_cap_base() noexcept : Cap_base(Invalid) {}
/l4re-core-master/l4re/util/libs/
A Dname_space_svr.cc230 reg_cap = L4::Cap<void>::Invalid; in op_register_obj()
/l4re-core-master/l4re_vfs/include/
A Dbackend58 { return L4::Cap<L4Re::Dataspace>::Invalid; }
/l4re-core-master/l4re/include/video/
A Dgoos57 View() : _goos(L4::Cap<Goos>::Invalid), _view_idx(~0U) {}

Completed in 20 milliseconds

12