DUMPCORE
#define DUMPCORE(r) seq_printf(s, "%-35s %08x\n", #r,\
#define DUMPCORE(r) seq_printf(s, "%-35s %08x\n", #r,\
#define DUMPCORE(r) seq_printf(s, "%-35s %08x\n", #r,\
#define DUMPCORE(r) seq_printf(s, "%-35s %08x\n", #r,\