Searched defs:KERNEL_TIMER_IRQ (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/src/arch/riscv/ | ||
| A D | platform_gen.h.in | 36 KERNEL_TIMER_IRQ, enumerator |
| /seL4-master/include/plat/pc99/plat/ | ||
| A D | machine.h | 68 #define KERNEL_TIMER_IRQ irq_timer macro |
Completed in 4 milliseconds