OrgApache/incubator-nuttx
OrgApache
/
incubator-nuttx
mirror of https://github.com/apache/incubator-nuttx.git
1
0
Fork 0
Code Issues Releases Wiki Activity

Removed unused configuratin variable: CONFIG_PGTABLE_VADDR

This commit is contained in:
Gregory Nutt 2014-03-01 16:21:28 -06:00
parent bb79092121
commit 8462bcc072
13 changed files with 2 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
arch/arm/Kconfig
View File

@ -299,14 +299,6 @@ config ARCH_LOWVECTORS
---help---
Support ARM vectors in low memory.
config PGTABLE_VADDR
hex "Page table virtual address"
default 0x0
depends on ARCH_HAVE_MMU
---help---
Page table virtual address (might be defined in the board.h file). Not
applicable to all architectures.
config ARCH_ROMPGTABLE
bool "ROM page table"
default n

2
arch/arm/src/lpc31xx/lpc31_memorymap.h
View File

@ -265,7 +265,7 @@
* if the vectors are at 0x0000:0000
*
* Or... the user may specify the address of the page table explicitly be defining
* CONFIG_PGTABLE_VADDR and CONFIG_PGTABLE_PADDR in the configuration or board.h file.
* PGTABLE_BASE_VADDR and PGTABLE_BASE_PADDR in the board.h file.
*/
#undef PGTABLE_IN_HIGHSRAM

2
arch/arm/src/sama5/chip/sama5d3x_memorymap.h
View File

@ -558,7 +558,7 @@
* case.
*
* Or... the user may specify the address of the page table explicitly be defining
* CONFIG_PGTABLE_VADDR and CONFIG_PGTABLE_PADDR in the configuration or board.h file.
* PGTABLE_BASE_VADDR and PGTABLE_BASE_PADDR in the board.h file.
*/
#undef PGTABLE_IN_HIGHSRAM

1
configs/ea3131/nsh/defconfig
View File

@ -97,7 +97,6 @@ CONFIG_ARCH_CHIP="lpc31xx"
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x0
CONFIG_ARCH_ROMPGTABLE=y
#

1
configs/olimex-lpc-h3131/nsh/defconfig
View File

@ -97,7 +97,6 @@ CONFIG_ARCH_CHIP="lpc31xx"
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x0
CONFIG_ARCH_ROMPGTABLE=y
#

1
configs/pcduino-a10/nsh/defconfig
View File

@ -99,7 +99,6 @@ CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x20000000
# CONFIG_ARCH_ROMPGTABLE is not set
# CONFIG_PAGING is not set

1
configs/sama5d3x-ek/demo/defconfig
View File

@ -97,7 +97,6 @@ CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x20000000
# CONFIG_ARCH_ROMPGTABLE is not set
# CONFIG_PAGING is not set

1
configs/sama5d3x-ek/hello/defconfig
View File

@ -95,7 +95,6 @@ CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x20000000
# CONFIG_ARCH_ROMPGTABLE is not set
# CONFIG_PAGING is not set

1
configs/sama5d3x-ek/norboot/defconfig
View File

@ -97,7 +97,6 @@ CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x20000000
# CONFIG_ARCH_ROMPGTABLE is not set
# CONFIG_PAGING is not set

1
configs/sama5d3x-ek/nsh/defconfig
View File

@ -103,7 +103,6 @@ CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x20000000
# CONFIG_ARCH_ROMPGTABLE is not set
# CONFIG_PAGING is not set

1
configs/sama5d3x-ek/nx/defconfig
View File

@ -97,7 +97,6 @@ CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x20000000
# CONFIG_ARCH_ROMPGTABLE is not set
# CONFIG_PAGING is not set

1
configs/sama5d3x-ek/nxwm/defconfig
View File

@ -100,7 +100,6 @@ CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x20000000
# CONFIG_ARCH_ROMPGTABLE is not set
# CONFIG_PAGING is not set

1
configs/sama5d3x-ek/ov2640/defconfig
View File

@ -99,7 +99,6 @@ CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_MPU is not set
CONFIG_ARCH_HAVE_LOWVECTORS=y
CONFIG_ARCH_LOWVECTORS=y
CONFIG_PGTABLE_VADDR=0x20000000
# CONFIG_ARCH_ROMPGTABLE is not set
# CONFIG_PAGING is not set