Symbol: xive_flush_cpu_queue
arch/powerpc/sysdev/xive/common.c
1617
xive_flush_cpu_queue(cpu, xc);
arch/powerpc/sysdev/xive/common.c
1630
xive_flush_cpu_queue(cpu, xc);