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

/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/arch/
H A Dgeneric_timer.h24 #define GENERIC_TIMER_PCNT_IRQ 30 macro
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/arch/
H A Dgeneric_timer.h24 #define GENERIC_TIMER_PCNT_IRQ 30 macro
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c45 irq->cpu.number = GENERIC_TIMER_PCNT_IRQ;
102 irq->cpu.number != GENERIC_TIMER_PCNT_IRQ &&
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c45 irq->cpu.number = GENERIC_TIMER_PCNT_IRQ;
102 irq->cpu.number != GENERIC_TIMER_PCNT_IRQ &&

Completed in 88 milliseconds