denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Minor comment refinements for the manual

Browse Source
This commit is contained in:
Norman Feske
2015-05-13 22:11:46 +02:00
committed by Christian Helmuth
parent f02c92598b
commit e2fe071871
2 changed files with 10 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
repos/base/include/root/component.h
View File

@@ -80,15 +80,15 @@ struct Genode::Multiple_clients
* *
* The 'POLICY' class must provide the following two methods: * The 'POLICY' class must provide the following two methods:
* *
* :'aquire(const char *args)': is called with the session arguments * 'aquire(const char *args)' is called with the session arguments
* at creation time of each new session. It can therefore implement * at creation time of each new session. It can therefore implement
* a session-creation policy taking session arguments into account. * a session-creation policy taking session arguments into account.
* If the policy denies the creation of a new session, it throws * If the policy denies the creation of a new session, it throws
* one of the exceptions defined in the 'Root' interface. * one of the exceptions defined in the 'Root' interface.
* *
* :'release': is called at the destruction time of a session. It enables * 'release' is called at the destruction time of a session. It enables
* the policy to keep track of and impose restrictions on the number * the policy to keep track of and impose restrictions on the number
* of existing sessions. * of existing sessions.
* *
* The default policy 'Multiple_clients' imposes no restrictions on the * The default policy 'Multiple_clients' imposes no restrictions on the
* creation of new sessions. * creation of new sessions.

2
repos/os/include/util/xml_node.h
View File

@@ -577,6 +577,8 @@ class Genode::Xml_node
* address range. * address range.
* *
* XXX This method is deprecated. Use 'content_base()' instead. * XXX This method is deprecated. Use 'content_base()' instead.
*
* \noapi
*/ */
char *content_addr() const { return _start_tag.next_token().start(); } char *content_addr() const { return _start_tag.next_token().start(); }