CONFIG_ARM_VECTORS  323 bsp/hal/arm/arch/mmu.c 	if (mmu_map(boot_pgd, 0, CONFIG_ARM_VECTORS, PAGE_SIZE, PG_SYSTEM))
CONFIG_ARM_VECTORS  179 bsp/hal/arm/integrator/machdep.c 	vector_copy((vaddr_t)ptokv(CONFIG_ARM_VECTORS));