PIC_GET_RECHECK
if (mode == PIC_GET_RECHECK)
if (irq == 7 && mode == PIC_GET_RECHECK)
} while ((picirq = pic->pic_get_irq(pic, PIC_GET_RECHECK)) != 255);