diff --git a/arch/arm/src/armv7-a/arm_allocpage.c b/arch/arm/src/armv7-a/arm_allocpage.c
index 88dc1bc47f1..29af3a9dffd 100644
--- a/arch/arm/src/armv7-a/arm_allocpage.c
+++ b/arch/arm/src/armv7-a/arm_allocpage.c
@@ -51,7 +51,6 @@
 
 #include <nuttx/page.h>
 
-#include "pg_macros.h"
 #include "up_internal.h"
 
 /****************************************************************************
diff --git a/arch/arm/src/armv7-a/arm_pghead.S b/arch/arm/src/armv7-a/arm_pghead.S
index 99fd16a6d74..a027fafd952 100644
--- a/arch/arm/src/armv7-a/arm_pghead.S
+++ b/arch/arm/src/armv7-a/arm_pghead.S
@@ -46,7 +46,6 @@
 #include "cp15.h"
 #include "sctlr.h"
 #include "mmu.h"
-#include "pg_macros.h"
 
 #include "chip.h"
 #include "up_internal.h"
diff --git a/arch/arm/src/armv7-a/arm_saveusercontext.S b/arch/arm/src/armv7-a/arm_saveusercontext.S
index 763070a39da..3bcfd21e452 100644
--- a/arch/arm/src/armv7-a/arm_saveusercontext.S
+++ b/arch/arm/src/armv7-a/arm_saveusercontext.S
@@ -1,7 +1,7 @@
 /****************************************************************************
  * arch/arm/src/armv7-a/arm_saveusercontext.S
  *
- *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Copyright (C) 2013, 2019 Gregory Nutt. All rights reserved.
  *   Author: Gregory Nutt <gnutt@nuttx.org>
  *
  * Redistribution and use in source and binary forms, with or without
diff --git a/arch/arm/src/armv7-a/arm_va2pte.c b/arch/arm/src/armv7-a/arm_va2pte.c
index fb6e4f03586..f4779b46ab3 100644
--- a/arch/arm/src/armv7-a/arm_va2pte.c
+++ b/arch/arm/src/armv7-a/arm_va2pte.c
@@ -47,7 +47,6 @@
 #include <nuttx/page.h>
 
 #include "chip.h"
-#include "pg_macros.h"
 #include "up_internal.h"
 
 #ifdef CONFIG_PAGING