kvmppc_xics_free_icp  613 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_xics_free_icp(struct kvm_vcpu *vcpu);
kvmppc_xics_free_icp  749 arch/powerpc/kvm/powerpc.c 			kvmppc_xics_free_icp(vcpu);