Constant WHvX64RegisterMsrMtrrPhysBase4 

pub const WHvX64RegisterMsrMtrrPhysBase4: WHV_REGISTER_NAME;