rdr2
uint64_t rdr2(void);
u_int rdr2(void);
gctx->host_dr2 = rdr2();
gctx->sctx_dr2 = rdr2();
vmxctx->host_dr2 = rdr2();
vmxctx->guest_dr2 = rdr2();