kvm_resched      2945 arch/x86/kvm/x86.c 		kvm_resched(vcpu);
kvm_resched       209 include/linux/kvm_host.h void kvm_resched(struct kvm_vcpu *vcpu);