Searched defs:apic_is_interrupt_pending (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/seL4/src/arch/x86/kernel/ | ||
| H A D | xapic.c | 50 bool_t apic_is_interrupt_pending(void) function |
| H A D | x2apic.c | 45 bool_t apic_is_interrupt_pending(void) function |
Completed in 26 milliseconds