Searched refs:apic_unmask_timer (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/x86/
H A Dapic.h56 void apic_unmask_timer(void);
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dapic.c388 void apic_unmask_timer(void) function
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dirq.c889 apic_unmask_timer();
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dirq.c866 apic_unmask_timer();

Completed in 103 milliseconds