Searched refs:cpuid_update_needed (Results 1 – 1 of 1) sorted by relevance
8180 int cpuid_update_needed = 0; in __set_sregs() local8215 cpuid_update_needed |= ((kvm_read_cr4(vcpu) ^ sregs->cr4) & in __set_sregs()8218 if (cpuid_update_needed) in __set_sregs()
