__clear_bit(X86_FEATURE_XSAVES, hvm_featureset);
}
+ /*
+ * Xen doesn't use PKS, so the guest support for it has opted to not use
+ * the VMCS load/save controls for efficiency reasons. This depends on
+ * the exact vmentry/exit behaviour, so don't expose PKS in other
+ * situations until someone has cross-checked the behaviour for safety.
+ */
+ if ( !cpu_has_vmx )
+ __clear_bit(X86_FEATURE_PKS, hvm_featureset);
+
guest_common_feature_adjustments(hvm_featureset);
sanitise_featureset(hvm_featureset);
(p->feat.smep ? X86_CR4_SMEP : 0) |
(p->feat.smap ? X86_CR4_SMAP : 0) |
(p->feat.pku ? X86_CR4_PKE : 0) |
- (cet ? X86_CR4_CET : 0));
+ (cet ? X86_CR4_CET : 0) |
+ (p->feat.pks ? X86_CR4_PKS : 0) |
+ 0);
}
static int cf_check hvm_load_cpu_ctxt(struct domain *d, hvm_domain_context_t *h)
XEN_CPUFEATURE(MOVDIRI, 6*32+27) /*a MOVDIRI instruction */
XEN_CPUFEATURE(MOVDIR64B, 6*32+28) /*a MOVDIR64B instruction */
XEN_CPUFEATURE(ENQCMD, 6*32+29) /* ENQCMD{,S} instructions */
-XEN_CPUFEATURE(PKS, 6*32+31) /* Protection Key for Supervisor */
+XEN_CPUFEATURE(PKS, 6*32+31) /*H Protection Key for Supervisor */
/* AMD-defined CPU features, CPUID level 0x80000007.edx, word 7 */
XEN_CPUFEATURE(HW_PSTATE, 7*32+ 7) /* Hardware Pstates */