Constant WHvX64RegisterDr1 

pub const WHvX64RegisterDr1: WHV_REGISTER_NAME;