KREG_RDX
gregs->kregs[KREG_RDX] = regs->r_rdx;
GETREG2(KREG_RDX), GETREG2(KREG_R12));
{ "rdx", KREG_RDX, MDB_TGT_R_EXPORT },
{ "edx", KREG_RDX, MDB_TGT_R_EXPORT | MDB_TGT_R_32 },
{ "dx", KREG_RDX, MDB_TGT_R_EXPORT | MDB_TGT_R_16 },
{ "dh", KREG_RDX, MDB_TGT_R_EXPORT | MDB_TGT_R_8H },
{ "dl", KREG_RDX, MDB_TGT_R_EXPORT | MDB_TGT_R_8L },
{ "rdx", KREG_RDX, MDB_TGT_R_EXPORT },
{ "edx", KREG_RDX, MDB_TGT_R_EXPORT | MDB_TGT_R_32 },
{ "dx", KREG_RDX, MDB_TGT_R_EXPORT | MDB_TGT_R_16 },
{ "dh", KREG_RDX, MDB_TGT_R_EXPORT | MDB_TGT_R_8H },
{ "dl", KREG_RDX, MDB_TGT_R_EXPORT | MDB_TGT_R_8L },
KREG_RDX,
#define KREG_EDX KREG_RDX