Searched refs:get_excp_vect (Results 1 – 1 of 1) sorted by relevance
683 static vaddr_t get_excp_vect(void) in get_excp_vect() function766 thread_init_vbar(get_excp_vect()); in thread_init_per_cpu()