rdr1
addr[nbp++] = (caddr_t)rdr1();
dbregs->dr[1] = rdr1();
val = rdr1();
db_printf("dr1\t0x%016lx\n", rdr1());
gctx->host_dr1 = rdr1();
gctx->sctx_dr1 = rdr1();
vmxctx->host_dr1 = rdr1();
vmxctx->guest_dr1 = rdr1();
dbregs->dr[1] = rdr1();
addr[nbp++] = (caddr_t)rdr1();
val = rdr1();
db_printf("dr1\t0x%08x\n", rdr1());