Searched refs:VERSAL_TIMER_S_EL1_IRQ (Results 1 – 3 of 3) sorted by relevance
144 #define VERSAL_TIMER_S_EL1_IRQ 13 macro
152 GIC_FDT_IRQ_TYPE_PPI, VERSAL_TIMER_S_EL1_IRQ, irqflags, in fdt_add_timer_nodes()
114 [GTIMER_SEC] = VERSAL_TIMER_S_EL1_IRQ, in versal_create_apu_gic()