Searched refs:pic_toggle_irq (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/kernel/include/arch/x86/ | ||
| H A D | pic.h | 22 void pic_toggle_irq(int irq, bool enable); |
| /barrelfish-master/kernel/arch/x86/ | ||
| H A D | pic.c | 147 void pic_toggle_irq(int irq, bool enable) function |
Completed in 100 milliseconds