THREEREGS
mdb_printf(THREEREGS, DUMP(rdi), DUMP(rsi), DUMP(rdx));
mdb_printf(THREEREGS, DUMP(rcx), DUMP(r8), DUMP(r9));
mdb_printf(THREEREGS, DUMP(rax), DUMP(rbx), DUMP(rbp));
mdb_printf(THREEREGS, DUMP(r10), DUMP(r11), DUMP(r12));
mdb_printf(THREEREGS, DUMP(r13), DUMP(r14), DUMP(r15));
mdb_printf(THREEREGS, DUMP(ds), DUMP(es), DUMP(fs));
mdb_printf(THREEREGS, DUMP(gs), "trp", regs->r_trapno, DUMP(err));
mdb_printf(THREEREGS, DUMP(rip), DUMP(cs), DUMP(rfl));
mdb_printf(THREEREGS, DUMP(rsp), DUMP(ss), "cr2", rec->ttr_cr2);