mmu_premap         72 bsp/hal/arm/integrator/diag.c 	mmu_premap(0x16000000, UART_BASE);
mmu_premap        107 sys/include/hal.h void	  mmu_premap(paddr_t, vaddr_t);