Constant WHvX64RegisterMsrMtrrFix4kF0000 

pub const WHvX64RegisterMsrMtrrFix4kF0000: WHV_REGISTER_NAME;