Constant WHvX64RegisterMsrMtrrFix64k00000 

pub const WHvX64RegisterMsrMtrrFix64k00000: WHV_REGISTER_NAME;