Symbol: DDUMP_REGS
sys/arch/hpcmips/vr/rtc.c
244
DDUMP_REGS(sc);
sys/arch/hpcmips/vr/vrpmu.c
141
DDUMP_REGS(DEBUG_BOOT, sc);