Searched refs:num_irq (Results 1 – 1 of 1) sorted by relevance
1450 uint32_t num_irq = 0U; in GIC_DistInit() local1459 num_irq = 32U * ((GIC_DistributorInfo() & 0x1FU) + 1U); in GIC_DistInit()1467 for (i = 32U; i < num_irq; i++) in GIC_DistInit()