rdr6
uint64_t rdr6(void);
u_int rdr6(void);
gctx->host_dr6 = rdr6();
vmxctx->host_dr6 = rdr6();
vmxctx->guest_dr6 = rdr6();