Constant WHvX64RegisterMsrMtrrPhysMask4 

pub const WHvX64RegisterMsrMtrrPhysMask4: WHV_REGISTER_NAME;