wordnum           284 arch/x86/kvm/cpuid.c static void cpuid_mask(u32 *word, int wordnum)
wordnum           286 arch/x86/kvm/cpuid.c 	*word &= boot_cpu_data.x86_capability[wordnum];