MSRP_PMMP
BUG_ON(prot_bitmap & ~(MSRP_UCLEP | MSRP_DEP | MSRP_PMMP));
vcpu->arch.shadow_msrp |= MSRP_PMMP;
vcpu->arch.shadow_msrp &= ~MSRP_PMMP;
vcpu->arch.shadow_msrp = MSRP_UCLEP | MSRP_PMMP;