Constant WHvX64RegisterDr0 

pub const WHvX64RegisterDr0: WHV_REGISTER_NAME;