kvm_sched_yield  7486 arch/x86/kvm/x86.c 		kvm_sched_yield(vcpu->kvm, a1);
kvm_sched_yield  7498 arch/x86/kvm/x86.c 		kvm_sched_yield(vcpu->kvm, a0);