Searched refs:K_BCM1480_INT_TIMER_0 (Results 1 – 3 of 3) sorted by relevance
68 #define K_BCM1480_INT_TIMER_0 _BCM1480_INT_HIGH(20) macro166 #define M_BCM1480_INT_TIMER_0 _BCM1480_INT_MASK1(K_BCM1480_INT_TIMER_0)
99 unsigned int irq = K_BCM1480_INT_TIMER_0 + cpu; in sb1480_clockevent_init()
340 do_IRQ(K_BCM1480_INT_TIMER_0 + cpu); in plat_irq_dispatch()