L2TBL_SIZE        157 bsp/hal/arm/arch/mmu.c 			if ((pg = page_alloc(L2TBL_SIZE)) == 0) {
L2TBL_SIZE        163 bsp/hal/arm/arch/mmu.c 			memset(pte, 0, L2TBL_SIZE);
L2TBL_SIZE        222 bsp/hal/arm/arch/mmu.c 				  L2TBL_SIZE);
L2TBL_SIZE        282 bsp/hal/arm/arch/mmu.c 	memset(pte, 0, L2TBL_SIZE);