xive_flush_cpu_queue 1463 arch/powerpc/sysdev/xive/common.c 	xive_flush_cpu_queue(cpu, xc);
xive_flush_cpu_queue 1476 arch/powerpc/sysdev/xive/common.c 	xive_flush_cpu_queue(cpu, xc);