XFEATURE_MASK_BNDREGS
XFEATURE_MASK_BNDREGS | \
XFEATURE_MASK_BNDREGS | \
fpu_kernel_cfg.max_features & (XFEATURE_MASK_BNDREGS | XFEATURE_MASK_BNDCSR)) {
kvm_caps.supported_xcr0 &= ~(XFEATURE_MASK_BNDREGS |
kvm_caps.supported_xcr0 &= ~(XFEATURE_MASK_BNDREGS |
if ((!(xcr0 & XFEATURE_MASK_BNDREGS)) !=
(XFEATURE_MASK_BNDREGS | XFEATURE_MASK_BNDCSR |
| XFEATURE_MASK_YMM | XFEATURE_MASK_BNDREGS \
return (kvm_caps.supported_xcr0 & (XFEATURE_MASK_BNDREGS | XFEATURE_MASK_BNDCSR))
== (XFEATURE_MASK_BNDREGS | XFEATURE_MASK_BNDCSR);
GUEST_ASSERT(supported_xcr0 & XFEATURE_MASK_BNDREGS);
XFEATURE_MASK_BNDREGS | XFEATURE_MASK_BNDCSR);