L1TBL_SIZE         47 bsp/hal/arm/arch/mmu.c #define L1TBL_MASK	(L1TBL_SIZE - 1)
L1TBL_SIZE         70 bsp/hal/arm/arch/mmu.c 	if ((pg = page_alloc(L1TBL_SIZE * 2)) == 0)
L1TBL_SIZE         80 bsp/hal/arm/arch/mmu.c 	page_free((paddr_t)(pgd + L1TBL_SIZE), (size_t)(L1TBL_SIZE - gap));
L1TBL_SIZE        195 bsp/hal/arm/arch/mmu.c 	memset(pgd, 0, L1TBL_SIZE);
L1TBL_SIZE        199 bsp/hal/arm/arch/mmu.c 	memcpy(&pgd[i], &boot_pgd[i], (size_t)(L1TBL_SIZE - i * 4));
L1TBL_SIZE        225 bsp/hal/arm/arch/mmu.c 	page_free(kvtop(pgd), L1TBL_SIZE);