PIC_EOI
PIC_EOI(root_pic, irq, priv);
PIC_EOI(i->pic, i->intline, i->priv);
PIC_EOI(i->pic, i->intline, i->priv);
PIC_EOI(i->pic, i->intline, i->priv);
if (eoi == PIC_EOI) {
is->is_pic->pic_disable_source(is, PIC_EOI);
isrc->is_pic->pic_disable_source(isrc, PIC_EOI);
isrc->is_pic->pic_disable_source(isrc, PIC_EOI);
if (eoi == PIC_EOI)
if (eoi == PIC_EOI)