arch_timer_has_nonsecure_ppi  875 drivers/clocksource/arm_arch_timer.c 	if (arch_timer_has_nonsecure_ppi()) {
arch_timer_has_nonsecure_ppi 1005 drivers/clocksource/arm_arch_timer.c 	if (arch_timer_has_nonsecure_ppi())
arch_timer_has_nonsecure_ppi 1085 drivers/clocksource/arm_arch_timer.c 		if (!err && arch_timer_has_nonsecure_ppi()) {
arch_timer_has_nonsecure_ppi 1124 drivers/clocksource/arm_arch_timer.c 	if (arch_timer_has_nonsecure_ppi())