Searched refs:gicd_wait_for_pending_write (Results 1 – 2 of 2) sorted by relevance
259 static inline void gicd_wait_for_pending_write(uintptr_t gicd_base) in gicd_wait_for_pending_write() function290 gicd_wait_for_pending_write(base); in gicd_clr_ctlr()300 gicd_wait_for_pending_write(base); in gicd_set_ctlr()
764 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_save()948 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_init_restore()1044 gicd_wait_for_pending_write(gicv3_driver_data->gicd_base); in gicv3_disable_interrupt()