Searched refs:gicr_wait_for_pending_write (Results 1 – 1 of 1) sorted by relevance
241 static void gicr_wait_for_pending_write(vaddr_t gicr_base) in gicr_wait_for_pending_write() 287 gicr_wait_for_pending_write(gicr_base); in gicv3_sync_redist_config() 417 gicr_wait_for_pending_write(gicr_base); in gic_init_donate_sgi_to_ns() 1029 gicr_wait_for_pending_write(gicr_base); in gic_op_configure() 233 static void gicr_wait_for_pending_write(vaddr_t gicr_base) gicr_wait_for_pending_write() function