Searched refs:pic_eoi (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dpic.h21 void pic_eoi(int irq);
/barrelfish-master/kernel/arch/x86/
H A Dpic.c25 void pic_eoi(int irq) function
/barrelfish-master/usr/arrakismon/
H A Dlpc.c142 pic_eoi (struct lpc *l, int ctrlr) function
574 pic_eoi(l, ctrlr);
/barrelfish-master/usr/vmkitmon/
H A Dlpc.c152 pic_eoi (struct lpc *l, int ctrlr) function
582 pic_eoi(l, ctrlr);
/barrelfish-master/kernel/arch/x86_64/
H A Dirq.c975 pic_eoi(irq);
984 pic_eoi(irq);
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c924 pic_eoi(irq);
933 pic_eoi(irq);

Completed in 116 milliseconds