Searched refs:gicr_wait_for_pending_write (Results 1 – 4 of 4) sorted by relevance
119 gicr_wait_for_pending_write(gicr_base); in mt_gic_rdistif_save()160 gicr_wait_for_pending_write(gicr_base); in mt_gic_rdistif_restore()186 gicr_wait_for_pending_write(gicr_base); in mt_gic_rdistif_restore_all()
590 gicr_wait_for_pending_write(gicr_base); in gicv3_rdistif_save()681 gicr_wait_for_pending_write(gicr_base); in gicv3_rdistif_init_restore()690 gicr_wait_for_pending_write(gicr_base); in gicv3_rdistif_init_restore()743 gicr_wait_for_pending_write(gicr_base); in gicv3_rdistif_init_restore()1029 gicr_wait_for_pending_write( in gicv3_disable_interrupt()
311 gicr_wait_for_pending_write(gicr_base); in gicv3_ppi_sgi_config_defaults()
345 static inline void gicr_wait_for_pending_write(uintptr_t gicr_base) in gicr_wait_for_pending_write() function