rdr0
#define x86_get_dr0() rdr0()
drs[NVMM_X64_DR_DR0] = rdr0();
#define x86_get_dr0() rdr0()
#define x86_get_dr0() rdr0()
u_int rdr0(void);
uint64_t rdr0(void);
#define x86_get_dr0() rdr0()
drs[NVMM_X64_DR_DR0] = rdr0();
#define x86_get_dr0() rdr0()
#define x86_get_dr0() rdr0()