Searched refs:gicr_read_ctlr (Results 1 – 1 of 1) sorted by relevance
498 static inline uint32_t gicr_read_ctlr(uintptr_t base) in gicr_read_ctlr() function513 while ((gicr_read_ctlr(gicr_base) & GICR_CTLR_RWP_BIT) != 0U) { in gicr_wait_for_pending_write()
Completed in 3 milliseconds