kvm_lapic_reset  1024 arch/x86/kvm/lapic.c 	kvm_lapic_reset(vcpu);
kvm_lapic_reset    30 arch/x86/kvm/lapic.h void kvm_lapic_reset(struct kvm_vcpu *vcpu);
kvm_lapic_reset  2806 arch/x86/kvm/x86.c 		kvm_lapic_reset(vcpu);