Constant WHvX64RegisterDr3 

pub const WHvX64RegisterDr3: WHV_REGISTER_NAME;