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