Searched refs:gicd_wait_for_pending_write (Results 1 – 2 of 2) sorted by relevance
262 static inline void gicd_wait_for_pending_write(uintptr_t gicd_base) in gicd_wait_for_pending_write() function293 gicd_wait_for_pending_write(base); in gicd_clr_ctlr()303 gicd_wait_for_pending_write(base); in gicd_set_ctlr()
751 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_save()912 gicd_wait_for_pending_write(gicd_base); in gicv3_distif_init_restore()1008 gicd_wait_for_pending_write(gicv3_driver_data->gicd_base); in gicv3_disable_interrupt()
Completed in 6 milliseconds