Constant WHvX64RegisterMsrMtrrFix4kD8000 

pub const WHvX64RegisterMsrMtrrFix4kD8000: WHV_REGISTER_NAME;