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