xive_scan_interrupts
while ((irq = xive_scan_interrupts(xc, false)) != 0) {
irq = xive_scan_interrupts(xc, false);
if (xive_scan_interrupts(xc, true) != 0) {