server_cpu         35 arch/powerpc/kvm/book3s_hv_rm_xics.c static int xics_opal_set_server(unsigned int hw_irq, int server_cpu);
server_cpu        799 arch/powerpc/kvm/book3s_hv_rm_xics.c static int xics_opal_set_server(unsigned int hw_irq, int server_cpu)
server_cpu        801 arch/powerpc/kvm/book3s_hv_rm_xics.c 	unsigned int mangle_cpu = get_hard_smp_processor_id(server_cpu) << 2;