Constant WHvX64RegisterDr7 

pub const WHvX64RegisterDr7: WHV_REGISTER_NAME;