Symbol: vrpmu_dump_intr
sys/arch/hpcmips/vr/vrpmu.c
140
vrpmu_dump_intr(sc);
sys/arch/hpcmips/vr/vrpmu.c
76
void vrpmu_dump_intr(void *);