Searched refs:GIC_GetHighPendingIRQ (Results 1 – 1 of 1) sorted by relevance
800 __STATIC_INLINE uint32_t GIC_GetHighPendingIRQ(void) in GIC_GetHighPendingIRQ() function886 __STATIC_INLINE uint32_t GIC_GetHighPendingIRQ(void) in GIC_GetHighPendingIRQ() function
