Symbol: xive_do_queue_eoi
arch/powerpc/sysdev/xive/common.c
1087
xive_do_queue_eoi(xc);
arch/powerpc/sysdev/xive/common.c
463
xive_do_queue_eoi(xc);