rdr2
addr[nbp++] = (caddr_t)rdr2();
dbregs->dr[2] = rdr2();
val = rdr2();
db_printf("dr2\t0x%016lx\n", rdr2());
gctx->host_dr2 = rdr2();
gctx->sctx_dr2 = rdr2();
vmxctx->host_dr2 = rdr2();
vmxctx->guest_dr2 = rdr2();
dbregs->dr[2] = rdr2();
addr[nbp++] = (caddr_t)rdr2();
val = rdr2();
db_printf("dr2\t0x%08x\n", rdr2());