XFEATURE_MASK_PKRU
XFEATURE_MASK_PKRU | \
(XFEATURE_MASK_USER_SUPPORTED & ~XFEATURE_MASK_PKRU)
if (!(ustate->xsave.header.xfeatures & XFEATURE_MASK_PKRU))
if (hdr.xfeatures & XFEATURE_MASK_PKRU) {
XFEATURE_MASK_PKRU | \
err = set_xfeature_in_sigframe(buf, XFEATURE_MASK_PKRU);
((vcpu->arch.xcr0 & XFEATURE_MASK_PKRU) ||
((vcpu->arch.xcr0 & XFEATURE_MASK_PKRU) ||
| XFEATURE_MASK_PKRU | XFEATURE_MASK_XTILE)
GUEST_ASSERT(supported_xcr0 & XFEATURE_MASK_PKRU);