Searched refs:gicr_wait_for_pending_write (Results 1 – 1 of 1) sorted by relevance
233 static void gicr_wait_for_pending_write(vaddr_t gicr_base) in gicr_wait_for_pending_write() function279 gicr_wait_for_pending_write(gicr_base); in gicv3_sync_redist_config()409 gicr_wait_for_pending_write(gicr_base); in gic_init_donate_sgi_to_ns()1021 gicr_wait_for_pending_write(gicr_base); in gic_op_configure()