Searched refs:arch_timer_has_nonsecure_ppi (Results 1 - 1 of 1) sorted by relevance

/linux-master/drivers/clocksource/
H A Darm_arch_timer.c1008 static bool arch_timer_has_nonsecure_ppi(void) function
1037 if (arch_timer_has_nonsecure_ppi()) {
1180 if (arch_timer_has_nonsecure_ppi())
1258 if (!err && arch_timer_has_nonsecure_ppi()) {
1297 if (arch_timer_has_nonsecure_ppi())

Completed in 184 milliseconds