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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dapic.h32 void apic_ack_active_interrupt(void);
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dapic.c147 void apic_ack_active_interrupt(void) function
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dinterrupt.h104 apic_ack_active_interrupt();

Completed in 157 milliseconds