diff options
author | Chris Johns <chrisj@rtems.org> | 2016-02-18 10:32:05 +1100 |
---|---|---|
committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:26 -0400 |
commit | f02e87257aa62bd8b78fb199a33a3cf1a5ad18be (patch) | |
tree | b8a1480e099194ebea5f67a22e488567468abb22 /c_user/dual_ports_memory_manager.rst | |
parent | Manually apply patch from textinfo dooc. (diff) | |
download | rtems-docs-f02e87257aa62bd8b78fb199a33a3cf1a5ad18be.tar.bz2 |
Fix the double quotes.
Diffstat (limited to 'c_user/dual_ports_memory_manager.rst')
-rw-r--r-- | c_user/dual_ports_memory_manager.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/c_user/dual_ports_memory_manager.rst b/c_user/dual_ports_memory_manager.rst index 6088ece..b81aa1e 100644 --- a/c_user/dual_ports_memory_manager.rst +++ b/c_user/dual_ports_memory_manager.rst @@ -65,7 +65,7 @@ When a port is created, RTEMS generates a unique port ID and assigns it to the created port until it is deleted. The port ID may be obtained by either of two methods. First, as the result of an invocation of the``rtems_port_create`` directive, the task ID is stored in a user provided location. Second, the port -ID may be obtained later using the``rtems_port_ident`` directive. The port ID +ID may be obtained later using the ``rtems_port_ident`` directive. The port ID is used by other dual-ported memory manager directives to access this port. Converting an Address |