Searched refs:pending_base (Results 1 – 1 of 1) sorted by relevance
180 void *pending_base = (void *)PLIC_PENDING(0); in is_irqs_pending() local189 rt_uint32_t pending_irqs = readl(pending_base + i * sizeof(rt_uint32_t)) & ie[i]; in is_irqs_pending()
Completed in 6 milliseconds