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

/seL4-l4v-master/seL4/src/plat/pc99/machine/
H A Dpic.c81 static uint16_t pic_get_isr(void) function
96 if (irq != irq_isa_min + 15 || (pic_get_isr() & BIT(15))) {
102 if (irq != irq_isa_min + 7 || (pic_get_isr() & BIT(7))) {

Completed in 139 milliseconds