diff --git a/xen/arch/x86/cpu/common.c b/xen/arch/x86/cpu/common.c index a074176c00..8de4a44c1a 100644 --- a/xen/arch/x86/cpu/common.c +++ b/xen/arch/x86/cpu/common.c @@ -463,7 +463,7 @@ void identify_cpu(struct cpuinfo_x86 *c) this_cpu->c_init(c); - if ( !opt_pku ) + if (c == &boot_cpu_data && !opt_pku) setup_clear_cpu_cap(X86_FEATURE_PKU); /*