Searched refs:GIC_DistributorInfo (Results 1 – 1 of 1) sorted by relevance
315 __STATIC_INLINE uint32_t GIC_DistributorInfo(void) in GIC_DistributorInfo() function678 num_irq = 32U * ((GIC_DistributorInfo() & 0x1FU) + 1U); in GIC_DistInit()
