rdr0
addr[nbp++] = (caddr_t)rdr0();
dbregs->dr[0] = rdr0();
val = rdr0();
db_printf("dr0\t0x%016lx\n", rdr0());
gctx->host_dr0 = rdr0();
gctx->sctx_dr0 = rdr0();
vmxctx->host_dr0 = rdr0();
vmxctx->guest_dr0 = rdr0();
dbregs->dr[0] = rdr0();
addr[nbp++] = (caddr_t)rdr0();
val = rdr0();
db_printf("dr0\t0x%08x\n", rdr0());