__kvm_set_xcr
int __kvm_set_xcr(struct kvm_vcpu *vcpu, u32 index, u64 xcr);
__kvm_set_xcr(vcpu, 0, kvm_ghcb_get_xcr0(svm));
EXPORT_SYMBOL_FOR_KVM_INTERNAL(__kvm_set_xcr);
__kvm_set_xcr(vcpu, kvm_ecx_read(vcpu), kvm_read_edx_eax(vcpu))) {
__kvm_set_xcr(vcpu, 0, XFEATURE_MASK_FP);
r = __kvm_set_xcr(vcpu, XCR_XFEATURE_ENABLED_MASK,
return __kvm_set_xcr(emul_to_vcpu(ctxt), index, xcr);