vrpmu_dump_intr2
vrpmu_dump_intr2(intstat1, intstat2);
if (vrpmudebug&flag) vrpmu_dump_intr2(arg1,arg2);
void vrpmu_dump_intr2(unsigned int, unsigned int);