apic_is_interrupt_pending (reference) in projects: seL4-master

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

/seL4-master/include/arch/x86/arch/kernel/
A D	apic.h	`28 bool_t apic_is_interrupt_pending(void);`
/seL4-master/src/arch/x86/kernel/
A D	x2apic.c	`45 bool_t apic_is_interrupt_pending(void) in apic_is_interrupt_pending() function`
A D	xapic.c	`50 bool_t apic_is_interrupt_pending(void) in apic_is_interrupt_pending() function`
/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`81 if (apic_is_interrupt_pending()) { in isIRQPending()`

Completed in 3 milliseconds