On 09/05/20 02:36, Krish Sadhukhan wrote: > +extern u64 __guest_cr4_reserved_bits; > + > int kvm_update_cpuid(struct kvm_vcpu *vcpu) This cannot be a global, it is different for each guest since it depends on their CPUID. Please put it in vcpu->arch. Paolo