mangle_cpu        801 arch/powerpc/kvm/book3s_hv_rm_xics.c 	unsigned int mangle_cpu = get_hard_smp_processor_id(server_cpu) << 2;
mangle_cpu        803 arch/powerpc/kvm/book3s_hv_rm_xics.c 	return opal_set_xive(hw_irq, mangle_cpu, DEFAULT_PRIORITY);