In the control/hardware domain case without it we simply re-read the
same value that was put into b near the top of the function.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
* domain policy. It varies with enabled xstate, and the correct
* xcr0 is in context.
*/
- if ( !is_control_domain(currd) && !is_hardware_domain(currd) )
- cpuid_count(leaf, subleaf, &tmp, &b, &tmp, &tmp);
+ cpuid_count(leaf, subleaf, &tmp, &b, &tmp, &tmp);
break;
}