Searched refs:update_gic_frequency_dt (Results 1 – 1 of 1) sorted by relevance
208 static void update_gic_frequency_dt(void) in update_gic_frequency_dt() function252 update_gic_frequency_dt(); in plat_time_init()