Symbol: VR_INTR
sys/arch/hpcmips/vr/vr.c
155
void VR_INTR(int, vaddr_t, uint32_t);
sys/arch/hpcmips/vr/vr.c
299
platform.cpu_intr = VR_INTR;