Home
last modified time | relevance | path

Searched refs:xcr0_max (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/x86/
A Dxstate.c673 uint64_t xcr0_max = cpuid_policy_xcr0_max(d->arch.cpuid); in validate_xstate() local
678 (xcr0_accum & ~xcr0_max) || in validate_xstate()
697 uint64_t xcr0_max = cpuid_policy_xcr0_max(curr->domain->arch.cpuid); in handle_xsetbv() local
707 if ( unlikely(xcr0_max & ~xfeature_mask) ) in handle_xsetbv()
711 xcr0_max, xfeature_mask); in handle_xsetbv()
717 if ( (new_bv & ~xcr0_max) || !valid_xcr0(new_bv) ) in handle_xsetbv()

Completed in 3 milliseconds