Searched refs:gicd_dchipr_wait_for_power_update_progress (Results 1 – 1 of 1) sorted by relevance
25 static void gicd_dchipr_wait_for_power_update_progress(uintptr_t base) in gicd_dchipr_wait_for_power_update_progress() function56 gicd_dchipr_wait_for_power_update_progress(base); in set_gicd_dchipr_rt_owner()62 gicd_dchipr_wait_for_power_update_progress(base); in set_gicd_dchipr_rt_owner()110 gicd_dchipr_wait_for_power_update_progress(base); in set_gicd_chipr_n()122 gicd_dchipr_wait_for_power_update_progress(base); in set_gicd_chipr_n()