Searched refs:arm32_vector_init (Results 1 – 3 of 3) sorted by relevance
134 void arm32_vector_init(vaddr_t, int);
123 arm32_vector_init(vaddr_t va, int which) in arm32_vector_init() function
706 arm32_vector_init(vector_page, ARM_VEC_ALL); in initarm()