Symbol: arm32_vector_init
sys/arch/arm/include/cpu.h
134
void arm32_vector_init(vaddr_t, int);
sys/arch/armv7/armv7/armv7_machdep.c
706
arm32_vector_init(vector_page, ARM_VEC_ALL);