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