diff --git a/arch/arm/src/armv7-a/arm_addrenv_utils.c b/arch/arm/src/armv7-a/arm_addrenv_utils.c index 19f6b5cb68c..2433ab5f894 100644 --- a/arch/arm/src/armv7-a/arm_addrenv_utils.c +++ b/arch/arm/src/armv7-a/arm_addrenv_utils.c @@ -171,10 +171,6 @@ void arm_addrenv_destroy_region(uintptr_t **list, unsigned int listlen, for (i = 0; i < listlen; vaddr += SECTION_SIZE, i++) { - /* Unhook the L2 page table from the L1 page table */ - - mmu_l1_clrentry(vaddr); - /* Has this page table been allocated? */ paddr = (uintptr_t)list[i];