dump_one_xive    2620 arch/powerpc/xmon/xmon.c 		dump_one_xive(cpu);
dump_one_xive    2672 arch/powerpc/xmon/xmon.c 		dump_one_xive(num);
dump_one_xive    2674 arch/powerpc/xmon/xmon.c 		dump_one_xive(xmon_owner);