Searched refs:guest_supported_xcr0 (Results 1 – 3 of 3) sorted by relevance
262 u64 guest_supported_xcr0 = cpuid_get_supported_xcr0(entries, nent); in __kvm_update_cpuid_runtime() local312 best->ecx &= guest_supported_xcr0 & 0xffffffff; in __kvm_update_cpuid_runtime()313 best->edx &= guest_supported_xcr0 >> 32; in __kvm_update_cpuid_runtime()348 vcpu->arch.guest_supported_xcr0 = in kvm_vcpu_after_set_cpuid()356 vcpu->arch.guest_fpu.fpstate->user_xfeatures = vcpu->arch.guest_supported_xcr0 | in kvm_vcpu_after_set_cpuid()
1041 return vcpu->arch.guest_supported_xcr0 & XFEATURE_MASK_USER_DYNAMIC; in kvm_guest_supported_xfd()1064 valid_bits = vcpu->arch.guest_supported_xcr0 | XFEATURE_MASK_FP; in __kvm_set_xcr()
808 u64 guest_supported_xcr0; member
Completed in 36 milliseconds