diff --git a/arch/arm/src/armv7-a/arm_addrenv.c b/arch/arm/src/armv7-a/arm_addrenv.c
index 83d4f385636..1d08d2ecb10 100644
--- a/arch/arm/src/armv7-a/arm_addrenv.c
+++ b/arch/arm/src/armv7-a/arm_addrenv.c
@@ -524,7 +524,6 @@ int up_addrenv_select(FAR const group_addrenv_t *addrenv,
   uintptr_t paddr;
   int i;
 
-  bvdbg("addrenv=%p oldenv=%p\n", addrenv, oldenv);
   DEBUGASSERT(addrenv);
 
   for (vaddr = CONFIG_ARCH_TEXT_VBASE, i = 0;
@@ -682,7 +681,6 @@ int up_addrenv_coherent(FAR const group_addrenv_t *addrenv)
   uintptr_t vaddr;
   int i;
 
-  bvdbg("addrenv=%p\n", addrenv);
   DEBUGASSERT(addrenv);
 
   /* Invalidate I-Cache */