Constant WHvX64RegisterMsrMtrrFix16k80000 

pub const WHvX64RegisterMsrMtrrFix16k80000: WHV_REGISTER_NAME;