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

/seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h16 #define SP804_TIMER_IRQ 32 macro
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h16 #define SP804_TIMER_IRQ 32 macro
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c69 irq->irq.number = SP804_TIMER_IRQ;
98 case SP804_TIMER_IRQ:
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c69 irq->irq.number = SP804_TIMER_IRQ;
98 case SP804_TIMER_IRQ:

Completed in 90 milliseconds