diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-23 16:03:08 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-23 16:03:08 -0600 |
| commit | 33b6bbe1420e0bfde390442af6880053dc77c7a0 (patch) | |
| tree | 4eaf872c7752a34b0843e57a86677adf33fd965f | |
| parent | 12371d1120405974f5cad7c787bbfab268e46094 (diff) | |
| download | px4-nuttx-33b6bbe1420e0bfde390442af6880053dc77c7a0.tar.gz px4-nuttx-33b6bbe1420e0bfde390442af6880053dc77c7a0.tar.bz2 px4-nuttx-33b6bbe1420e0bfde390442af6880053dc77c7a0.zip | |
Extend virtual/physical address conversions to include addresses in shared memory.
| -rw-r--r-- | nuttx/arch/arm/src/armv7-a/pgalloc.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/nuttx/arch/arm/src/armv7-a/pgalloc.h b/nuttx/arch/arm/src/armv7-a/pgalloc.h index 3991b92fe..a517782a6 100644 --- a/nuttx/arch/arm/src/armv7-a/pgalloc.h +++ b/nuttx/arch/arm/src/armv7-a/pgalloc.h @@ -138,6 +138,9 @@ static inline bool arm_uservaddr(uintptr_t vaddr) #ifdef CONFIG_ARCH_STACK_DYNAMIC || (vaddr >= CONFIG_ARCH_STACK_VBASE && vaddr < ARCH_STACK_VEND) #endif +#ifdef CONFIG_MM_SHM + || (vaddr >= CONFIG_ARCH_SHM_VBASE && vaddr < ARCH_SHM_VEND) +#endif ); } |