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()
764 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_save()925 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_init_restore()1037 gicd_wait_for_pending_write(gicd_base); in gicv3_disable_interrupt()