Removed unused configuratin variable: CONFIG_PGTABLE_VADDR

13 files changed, 2 insertions, 20 deletions

diff --git a/nuttx/arch/arm/Kconfig b/nuttx/arch/arm/Kconfig
index 57fa388a8..b991a348c 100644
--- a/nuttx/arch/arm/Kconfig
+++ b/nuttx/arch/arm/Kconfig
@@ -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
diff --git a/nuttx/arch/arm/src/lpc31xx/lpc31_memorymap.h b/nuttx/arch/arm/src/lpc31xx/lpc31_memorymap.h
index 49be389c9..aa5ac8178 100644
--- a/nuttx/arch/arm/src/lpc31xx/lpc31_memorymap.h
+++ b/nuttx/arch/arm/src/lpc31xx/lpc31_memorymap.h
@@ -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
diff --git a/nuttx/arch/arm/src/sama5/chip/sama5d3x_memorymap.h b/nuttx/arch/arm/src/sama5/chip/sama5d3x_memorymap.h
index e80c58032..5a8d23fae 100644
--- a/nuttx/arch/arm/src/sama5/chip/sama5d3x_memorymap.h
+++ b/nuttx/arch/arm/src/sama5/chip/sama5d3x_memorymap.h
@@ -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
diff --git a/nuttx/configs/ea3131/nsh/defconfig b/nuttx/configs/ea3131/nsh/defconfig
index 725f9797b..9208495e8 100644
--- a/nuttx/configs/ea3131/nsh/defconfig
+++ b/nuttx/configs/ea3131/nsh/defconfig
@@ -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
 
 #
diff --git a/nuttx/configs/olimex-lpc-h3131/nsh/defconfig b/nuttx/configs/olimex-lpc-h3131/nsh/defconfig
index 96dc078ba..cb9ade5d0 100644
--- a/nuttx/configs/olimex-lpc-h3131/nsh/defconfig
+++ b/nuttx/configs/olimex-lpc-h3131/nsh/defconfig
@@ -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
 
 #
diff --git a/nuttx/configs/pcduino-a10/nsh/defconfig b/nuttx/configs/pcduino-a10/nsh/defconfig
index 58a2b2667..141563ffb 100644
--- a/nuttx/configs/pcduino-a10/nsh/defconfig
+++ b/nuttx/configs/pcduino-a10/nsh/defconfig
@@ -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
 
diff --git a/nuttx/configs/sama5d3x-ek/demo/defconfig b/nuttx/configs/sama5d3x-ek/demo/defconfig
index 4df0741e8..0de6c9971 100644
--- a/nuttx/configs/sama5d3x-ek/demo/defconfig
+++ b/nuttx/configs/sama5d3x-ek/demo/defconfig
@@ -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
 
diff --git a/nuttx/configs/sama5d3x-ek/hello/defconfig b/nuttx/configs/sama5d3x-ek/hello/defconfig
index 074b43e8a..83164fe14 100644
--- a/nuttx/configs/sama5d3x-ek/hello/defconfig
+++ b/nuttx/configs/sama5d3x-ek/hello/defconfig
@@ -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
 
diff --git a/nuttx/configs/sama5d3x-ek/norboot/defconfig b/nuttx/configs/sama5d3x-ek/norboot/defconfig
index 0fe813ee0..8443e6257 100644
--- a/nuttx/configs/sama5d3x-ek/norboot/defconfig
+++ b/nuttx/configs/sama5d3x-ek/norboot/defconfig
@@ -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
 
diff --git a/nuttx/configs/sama5d3x-ek/nsh/defconfig b/nuttx/configs/sama5d3x-ek/nsh/defconfig
index 8a74d37dd..4b50c19b0 100644
--- a/nuttx/configs/sama5d3x-ek/nsh/defconfig
+++ b/nuttx/configs/sama5d3x-ek/nsh/defconfig
@@ -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
 
diff --git a/nuttx/configs/sama5d3x-ek/nx/defconfig b/nuttx/configs/sama5d3x-ek/nx/defconfig
index 973c47b3b..9c7469201 100644
--- a/nuttx/configs/sama5d3x-ek/nx/defconfig
+++ b/nuttx/configs/sama5d3x-ek/nx/defconfig
@@ -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
 
diff --git a/nuttx/configs/sama5d3x-ek/nxwm/defconfig b/nuttx/configs/sama5d3x-ek/nxwm/defconfig
index 3c014d9e1..fba3725f4 100644
--- a/nuttx/configs/sama5d3x-ek/nxwm/defconfig
+++ b/nuttx/configs/sama5d3x-ek/nxwm/defconfig
@@ -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
 
diff --git a/nuttx/configs/sama5d3x-ek/ov2640/defconfig b/nuttx/configs/sama5d3x-ek/ov2640/defconfig
index 7f3297b72..9d30519d9 100644
--- a/nuttx/configs/sama5d3x-ek/ov2640/defconfig
+++ b/nuttx/configs/sama5d3x-ek/ov2640/defconfig
@@ -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