Symbol: vrpmu_intr
sys/arch/hpcmips/vr/vrpmu.c
128
vrpmu_intr, sc))) {
sys/arch/hpcmips/vr/vrpmu.c
133
vrpmu_intr, sc)) {
sys/arch/hpcmips/vr/vrpmu.c
75
int vrpmu_intr(void *);