rdr1
uint64_t rdr1(void);
u_int rdr1(void);
gctx->host_dr1 = rdr1();
gctx->sctx_dr1 = rdr1();
vmxctx->host_dr1 = rdr1();
vmxctx->guest_dr1 = rdr1();