nvmm_x86_xcr0_valid
KASSERTMSG(nvmm_x86_xcr0_valid(xcr0, xcr0_mask),
bool nvmm_x86_xcr0_valid(uint64_t, uint64_t);
} else if (__predict_false(!nvmm_x86_xcr0_valid(val,
KASSERTMSG(nvmm_x86_xcr0_valid(val, cpudata->xcr0_mask),
KASSERTMSG(nvmm_x86_xcr0_valid(cpudata->xcr0_mask, svm_xcr0_mask),
!nvmm_x86_xcr0_valid(*xcr0_maskp, svm_xcr0_mask))
nvmm_x86_xcr0_valid(cpudata->gxcr0, cpudata->xcr0_mask)),
nvmm_x86_xcr0_valid(svm_xcr0_mask, svm_xcr0_mask)),
} else if (__predict_false(!nvmm_x86_xcr0_valid(val,
KASSERTMSG(nvmm_x86_xcr0_valid(val, cpudata->xcr0_mask),
KASSERTMSG(nvmm_x86_xcr0_valid(cpudata->xcr0_mask, vmx_xcr0_mask),
!nvmm_x86_xcr0_valid(*xcr0_maskp, vmx_xcr0_mask))
nvmm_x86_xcr0_valid(cpudata->gxcr0, cpudata->xcr0_mask)),
nvmm_x86_xcr0_valid(vmx_xcr0_mask, vmx_xcr0_mask)),