Constant WHvX64RegisterMsrMtrrDefType 

pub const WHvX64RegisterMsrMtrrDefType: WHV_REGISTER_NAME;