kvm_lapic_set_eoi 2030 arch/x86/kvm/lapic.c EXPORT_SYMBOL_GPL(kvm_lapic_set_eoi);
kvm_lapic_set_eoi   77 arch/x86/kvm/lapic.h void kvm_lapic_set_eoi(struct kvm_vcpu *vcpu);
kvm_lapic_set_eoi 5063 arch/x86/kvm/vmx/vmx.c 			kvm_lapic_set_eoi(vcpu);