Symbol: kvmppc_vcpu_woken
arch/powerpc/kvm/book3s_hv.c
4578
if (!vcpu->arch.ceded || kvmppc_vcpu_woken(vcpu))
arch/powerpc/kvm/book3s_hv.c
4819
if (!kvmppc_vcpu_woken(v))