Searched refs:gicd_wait_for_pending_write (Results 1 – 2 of 2) sorted by relevance
264 static inline void gicd_wait_for_pending_write(uintptr_t gicd_base) in gicd_wait_for_pending_write() function295 gicd_wait_for_pending_write(base); in gicd_clr_ctlr()305 gicd_wait_for_pending_write(base); in gicd_set_ctlr()
757 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_save()918 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_init_restore()1023 gicd_wait_for_pending_write(gicd_base); in gicv3_disable_interrupt()
