Symbol: arch_timer_has_nonsecure_ppi
drivers/clocksource/arm_arch_timer.c
1036
if (!err && arch_timer_has_nonsecure_ppi()) {
drivers/clocksource/arm_arch_timer.c
1075
if (arch_timer_has_nonsecure_ppi())
drivers/clocksource/arm_arch_timer.c
837
if (arch_timer_has_nonsecure_ppi()) {
drivers/clocksource/arm_arch_timer.c
959
if (arch_timer_has_nonsecure_ppi())