rdr3
addr[nbp++] = (caddr_t)rdr3();
dbregs->dr[3] = rdr3();
val = rdr3();
db_printf("dr3\t0x%016lx\n", rdr3());
gctx->host_dr3 = rdr3();
gctx->sctx_dr3 = rdr3();
vmxctx->host_dr3 = rdr3();
vmxctx->guest_dr3 = rdr3();
dbregs->dr[3] = rdr3();
addr[nbp++] = (caddr_t)rdr3();
val = rdr3();
db_printf("dr3\t0x%08x\n", rdr3());