enc_bit          1308 arch/x86/kvm/svm.c 	unsigned int enc_bit, mask_bit;
enc_bit          1320 arch/x86/kvm/svm.c 	enc_bit = cpuid_ebx(0x8000001f) & 0x3f;
enc_bit          1324 arch/x86/kvm/svm.c 	if (enc_bit == mask_bit)