kvm_after_interrupt 5844 arch/x86/kvm/svm.c 		kvm_after_interrupt(&svm->vcpu);
kvm_after_interrupt 6214 arch/x86/kvm/vmx/vmx.c 		kvm_after_interrupt(&vmx->vcpu);
kvm_after_interrupt 6260 arch/x86/kvm/vmx/vmx.c 	kvm_after_interrupt(vcpu);
kvm_after_interrupt 8298 arch/x86/kvm/x86.c 	kvm_after_interrupt(vcpu);