pic_is_irq_pending (reference) in projects: seL4-master

Searched refs:pic_is_irq_pending (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/plat/pc99/plat/machine/
A D	pic.h	`18 bool_t pic_is_irq_pending(void);`
A D	interrupt.h	`85 if (config_set(CONFIG_IRQ_PIC) && pic_is_irq_pending()) { in isIRQPending()`
/seL4-master/src/plat/pc99/machine/
A D	pic.c	`64 bool_t pic_is_irq_pending(void) in pic_is_irq_pending() function`

Completed in 2 milliseconds