Searched refs:gicd_dchipr_wait_for_power_update_progress (Results 1 – 1 of 1) sorted by relevance
48 static void gicd_dchipr_wait_for_power_update_progress(uintptr_t base) in gicd_dchipr_wait_for_power_update_progress() function79 gicd_dchipr_wait_for_power_update_progress(base); in set_gicd_dchipr_rt_owner()85 gicd_dchipr_wait_for_power_update_progress(base); in set_gicd_dchipr_rt_owner()166 gicd_dchipr_wait_for_power_update_progress(base); in set_gicd_chipr_n()178 gicd_dchipr_wait_for_power_update_progress(base); in set_gicd_chipr_n()