Searched refs:pic_pending_interrupt (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dpic.h20 int pic_pending_interrupt(void);
/barrelfish-master/kernel/arch/x86/
H A Dpic.c71 int pic_pending_interrupt(void) function
/barrelfish-master/kernel/arch/x86_64/
H A Dirq.c978 irq = pic_pending_interrupt();
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c927 irq = pic_pending_interrupt();

Completed in 122 milliseconds