Searched refs:GIC_DistributorInfo (Results 1 – 2 of 2) sorted by relevance
185 val = GIC_DistributorInfo() & (1UL << 10U); in IRQ_SetMode()
1486 __STATIC_INLINE uint32_t GIC_DistributorInfo(void) in GIC_DistributorInfo() function1781 num_irq = 32U * ((GIC_DistributorInfo() & 0x1FU) + 1U); in GIC_DistInit()