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

/seL4-master/include/plat/pc99/plat/
A D	machine.h	56 irq_timer = int_timer - IRQ_INT_OFFSET, enumerator 68 #define KERNEL_TIMER_IRQ irq_timer
/seL4-master/src/arch/x86/object/
A D	interrupt.c	19 if (i == irq_timer in Arch_irqStateInit()
/seL4-master/src/arch/x86/kernel/
A D	boot.c	36 if (i == irq_timer) { in init_irqs()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023