vector_copy        41 bsp/hal/arm/include/locore.h void	 vector_copy(vaddr_t);
vector_copy       179 bsp/hal/arm/integrator/machdep.c 	vector_copy((vaddr_t)ptokv(CONFIG_ARM_VECTORS));