rdr3
uint64_t rdr3(void);
u_int rdr3(void);
gctx->host_dr3 = rdr3();
gctx->sctx_dr3 = rdr3();
vmxctx->host_dr3 = rdr3();
vmxctx->guest_dr3 = rdr3();