Searched defs:num_irq (Results 1 – 3 of 3) sorted by relevance
147 void eclic_init ( uint32_t num_irq ) in eclic_init()
1772 uint32_t num_irq = 0U; in GIC_DistInit() local
1795 uint32_t num_irq = 0U; in GIC_DistInit() local
Completed in 27 milliseconds