Searched refs:K_BCM1480_INT_TIMER_0 (Results 1 – 3 of 3) sorted by relevance
81 #define K_BCM1480_INT_TIMER_0 _BCM1480_INT_HIGH(20) macro179 #define M_BCM1480_INT_TIMER_0 _BCM1480_INT_MASK1(K_BCM1480_INT_TIMER_0)
113 unsigned int irq = K_BCM1480_INT_TIMER_0 + cpu; in sb1480_clockevent_init()
384 do_IRQ(K_BCM1480_INT_TIMER_0 + cpu); in plat_irq_dispatch()