__kvm_valid_efer 1454 arch/x86/kvm/x86.c return __kvm_valid_efer(vcpu, efer); __kvm_valid_efer 1467 arch/x86/kvm/x86.c if (!__kvm_valid_efer(vcpu, efer))