pic_get_isr (reference) in projects: seL4-master

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

/seL4-master/src/plat/pc99/machine/
A D	pic.c	`81 static uint16_t pic_get_isr(void) in pic_get_isr() function 96 if (irq != irq_isa_min + 15 \|\| (pic_get_isr() & BIT(15))) { in pic_ack_active_irq() 102 if (irq != irq_isa_min + 7 \|\| (pic_get_isr() & BIT(7))) { in pic_ack_active_irq()`

Completed in 2 milliseconds