rdr0
uint64_t rdr0(void);
u_int rdr0(void);
gctx->host_dr0 = rdr0();
gctx->sctx_dr0 = rdr0();
vmxctx->host_dr0 = rdr0();
vmxctx->guest_dr0 = rdr0();