Searched refs:arch_timer_has_nonsecure_ppi (Results 1 – 1 of 1) sorted by relevance
958 static bool arch_timer_has_nonsecure_ppi(void) in arch_timer_has_nonsecure_ppi() function987 if (arch_timer_has_nonsecure_ppi()) { in arch_timer_starting_cpu()1124 if (arch_timer_has_nonsecure_ppi()) in arch_timer_stop()1204 if (!err && arch_timer_has_nonsecure_ppi()) { in arch_timer_register()1243 if (arch_timer_has_nonsecure_ppi()) in arch_timer_register()
Completed in 7 milliseconds