Fix demand-paging compilation errors

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2879 42af7a65-404d-4744-a932-0658087f49c3

1 files changed, 8 insertions, 2 deletions

diff --git a/nuttx/arch/arm/src/lpc313x/lpc313x_boot.c b/nuttx/arch/arm/src/lpc313x/lpc313x_boot.c
index 1f0744328..09176cedd 100755
--- a/nuttx/arch/arm/src/lpc313x/lpc313x_boot.c
+++ b/nuttx/arch/arm/src/lpc313x/lpc313x_boot.c
@@ -51,6 +51,11 @@
 #include "lpc313x_cgudrvr.h"
 #include "lpc313x_internal.h"
 
+#ifdef CONFIG_PAGING
+#  include <nuttx/page.h>
+#  include "pg_macros.h"
+#endif
+
 /************************************************************************************
  * Private Types
  ************************************************************************************/
@@ -201,14 +206,15 @@ static void up_setupmappings(void)
  ************************************************************************************/
 
 #if !defined(CONFIG_ARCH_ROMPGTABLE) && defined(CONFIG_ARCH_LOWVECTORS) && defined(CONFIG_PAGING)
-static void  up_vectorpermissions(uint32 mmuflags)
+static void  up_vectorpermissions(uint32_t mmuflags)
 {
-  uint32_t *ptr = (uint3t*)PG_L2_VECT_VADDR;
+  uint32_t *ptr = (uint32_t*)PG_L2_VECT_VADDR;
   uint32_t pte;
 
   /* This is easily because we have already been told everything! */
 
   pte = *ptr;
+
 #ifdef CONFIG_PAGING_VECPPAGE
   /* We've been told to use a specify page for the vectors.  In this
    * case, I expect the pte to be zero the first time this function is