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)