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);