Namespace C interface.
More...
Namespace C interface.
◆ l4re_ns_register_flags
◆ l4re_ns_query_srv()
Query the name space for the object named by name
.
- Parameters
-
srv | Name space server to use for the query. |
name | String to query. |
cap | Capability slot where the received capability will be stored. |
- Return values
-
0 | Name could be fully resolved. |
>0 | Name could only be partly resolved. The number of remaining characters is returned. |
-L4_ENOENT | Entry could not be found. |
-L4_EAGAIN | Entry exists but no object is yet attached. Try again later. |
<0 | IPC errors, see l4_error_code_t. |
Definition at line 105 of file namespace.h.
References l4re_ns_query_to_srv().
◆ l4re_ns_query_to_srv()
Query the name space for the object named by name
.
- Parameters
-
timeout | Timeout of query in milliseconds. The client will only wait if a name already has been registered with the server but no object has been attached yet. |
srv | Name space server to use for the query. |
name | String to query. |
cap | Capability slot where the received capability will be stored. |
- Return values
-
0 | Name could be fully resolved. |
>0 | Name could only be partly resolved. The number of remaining characters is returned. |
-L4_ENOENT | Entry could not be found. |
-L4_EAGAIN | Entry exists but no object is yet attached. Try again later. |
<0 | IPC errors, see l4_error_code_t. |
Referenced by l4re_ns_query_srv().
◆ l4re_ns_register_obj_srv()
Register an object with a name.
- Parameters
-
srv | Name space server to use for the query. |
name | Name under which the object should be registered. |
obj | Capability to object to register. An invalid capability may be given to only reserve the name for later use. |
flags | Flags to assign to the entry, see L4Re::Namespace::Register_flags. Note that the rights that are assigned to a capability are not only determined by the rights given in these flags but also by the rights with which the obj capability was mapped to the name space. |
- Return values
-
0 | Object was successfully registered with name. |
-L4_EEXIST | Name already registered. |
-L4_EPERM | Caller does not have L4_CAP_FPAGE_W right on the invoked capability. |
-L4_ENOMEM | Server has insufficient resources. |
-L4_EINVAL | Invalid parameter. |
<0 | IPC errors, see l4_error_code_t. |
- Precondition
- requires capability rights: {RW}