diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index aa4f3129a67..c188ee72d17 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -132,12 +132,17 @@
4.5.5 sched_alarm_expiration()
4.5.6 irq_dispatch()
- 4.6 On-Demand Paging
- 4.7 LED Support
+ 4.6 Shared Memory
up_shmat()up_shmdt()Input Parameters:
tcb: The TCB of the thread that no longer requires the kernel stack.tcb: The TCB of the thread that no longer requires the kernel stack.
+ Returned Value:
+ Shared memory interfaces are only available with the NuttX kernel build (CONFIG_BUILD_KERNEL=y).
+ These interfaces support user memory regions that can be shared between multiple user processes.
+ The user interfaces are provided in the standard header file include/sys/shm.h>.
+ All logic to support shared memory is implemented within the NuttX kernel with the exception of two low-level functions that are require to configure the platform-specific MMU resources.
+ Those interfaces are described below:
+
up_shmat()Function Prototype:
+
+#include <nuttx/arch.h> +#ifdef CONFIG_MM_SHM +int up_shmat(FAR uintptr_t *pages, unsigned int npages, uintptr_t vaddr); +#endif + +Description:
+
Input Parameters:
+pages: A pointer to the first element in a array of physical address, each corresponding to one page of memory.
+ npages: The number of pages in the list of physical pages to be mapped.
+ vaddr: The virtual address corresponding to the beginning of the (contiguous) virtual address region.
+ Returned Value:
+OK) is returned on success; a negated errno value is returned on failure.
+up_shmdt()Function Prototype:
+
+#include <nuttx/arch.h> +#ifdef CONFIG_MM_SHM +int up_shmdt(uintptr_t vaddr, unsigned int npages); +#endif + +Description:
+
Input Parameters:
+vaddr: The virtual address corresponding to the beginning of the (contiguous) virtual address region.
+ npages: T The number of pages to be unmapped.
+ Returned Value:
+OK) is returned on success; a negated errno value is returned on failure.
+The NuttX On-Demand Paging feature permits embedded MCUs with some limited RAM space to execute large programs from some non-random access media. If the platform meets certain requirements, then NuttX can provide on-demand paging: @@ -3451,7 +3521,7 @@ void sched_timer_expiration(void); Please see the NuttX Demand Paging design document for further information.
-A board architecture may or may not have LEDs. @@ -3461,7 +3531,7 @@ void sched_timer_expiration(void); However, the support provided by each architecture is sufficiently similar that it can be documented here.
-LED-related definitions are provided in two header files: @@ -3485,7 +3555,7 @@ void sched_timer_expiration(void);
-The implementation of LED support is very specific to a board architecture. @@ -3549,7 +3619,7 @@ void sched_timer_expiration(void); -
The <arch-name>/src/common/up_internal.h probably has definitions
diff --git a/Documentation/NuttxUserGuide.html b/Documentation/NuttxUserGuide.html
index 68a191917a5..fbef4366189 100644
--- a/Documentation/NuttxUserGuide.html
+++ b/Documentation/NuttxUserGuide.html
@@ -9049,9 +9049,6 @@ int getsockopt(int sockfd, int level, int option, void *value, socklen_t *value_
- NOTE: This is advance documentation. These interfaces are not yet available as of this writing. If you are reading this note, then double check; since these interfaces are under development now, I may have simply failed to remove it. -
shmget