GETREG2
GETREG2(KREG_RAX), GETREG2(KREG_R9));
GETREG2(KREG_RBX), GETREG2(KREG_R10));
GETREG2(KREG_RCX), GETREG2(KREG_R11));
GETREG2(KREG_RDX), GETREG2(KREG_R12));
GETREG2(KREG_RSI), GETREG2(KREG_R13));
GETREG2(KREG_RDI), GETREG2(KREG_R14));
GETREG2(KREG_R8), GETREG2(KREG_R15));
mdb_printf("%%rip = 0x%0?p %A\n", GETREG2(KREG_RIP));