apic_ack_active_interrupt (reference) in projects: seL4-master

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

/seL4-master/include/arch/x86/arch/kernel/
A D	apic.h	`27 void apic_ack_active_interrupt(void);`
/seL4-master/src/arch/x86/kernel/
A D	apic.c	`174 void apic_ack_active_interrupt(void) in apic_ack_active_interrupt() function`
/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`97 apic_ack_active_interrupt(); in ackInterrupt()`

Completed in 11 milliseconds