kvmppc_save_guest_spe   92 arch/powerpc/kvm/booke.c 	kvmppc_save_guest_spe(vcpu);
kvmppc_save_guest_spe   80 arch/powerpc/kvm/booke.h void kvmppc_save_guest_spe(struct kvm_vcpu *vcpu);