Symbol: vrrtc_intr
sys/arch/hpcmips/vr/rtc.c
103
int vrrtc_intr(void*, vaddr_t, uint32_t);
sys/arch/hpcmips/vr/rtc.c
164
vr_intr_establish(VR_INTR1, vrrtc_intr, sc);