Symbol: news4000_intr
sys/arch/newsmips/include/intr.h
80
void news4000_intr(int, vaddr_t, uint32_t);
sys/arch/newsmips/newsmips/machdep.c
368
hardware_intr = news4000_intr;