Searched refs:gicr_wait_for_pending_write (Results 1 – 3 of 3) sorted by relevance
562 gicr_wait_for_pending_write(gicr_base); in gicv3_rdistif_save()630 gicr_wait_for_pending_write(gicr_base); in gicv3_rdistif_init_restore()675 gicr_wait_for_pending_write(gicr_base); in gicv3_rdistif_init_restore()903 gicr_wait_for_pending_write( in gicv3_disable_interrupt()
198 static inline void gicr_wait_for_pending_write(uintptr_t gicr_base) in gicr_wait_for_pending_write() function
486 gicr_wait_for_pending_write(gicr_base); in gicv3_ppi_sgi_configure_defaults()