Searched refs:gicd_wait_for_pending_write (Results 1 – 2 of 2) sorted by relevance
120 static inline void gicd_wait_for_pending_write(uintptr_t gicd_base) in gicd_wait_for_pending_write() function151 gicd_wait_for_pending_write(base); in gicd_clr_ctlr()160 gicd_wait_for_pending_write(base); in gicd_set_ctlr()
700 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_save()811 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_init_restore()909 gicd_wait_for_pending_write(gicv3_driver_data->gicd_base); in gicv3_disable_interrupt()