kvmppc_xics_ipi_action 619 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_xics_ipi_action(void); kvmppc_xics_ipi_action 300 arch/powerpc/kernel/smp.c kvmppc_xics_ipi_action();