vrpmu_dump_regs
#define DDUMP_REGS(flag, arg) if (vrpmudebug&flag) vrpmu_dump_regs(arg);
void vrpmu_dump_regs(void *);