arch_timer_uses_ppi   68 drivers/clocksource/arm_arch_timer.c static enum arch_timer_ppi_nr arch_timer_uses_ppi = ARCH_TIMER_VIRT_PPI;
arch_timer_uses_ppi  753 drivers/clocksource/arm_arch_timer.c 		clk->irq = arch_timer_ppi[arch_timer_uses_ppi];
arch_timer_uses_ppi  754 drivers/clocksource/arm_arch_timer.c 		switch (arch_timer_uses_ppi) {
arch_timer_uses_ppi  848 drivers/clocksource/arm_arch_timer.c 	return (arch_timer_uses_ppi == ARCH_TIMER_PHYS_SECURE_PPI &&
arch_timer_uses_ppi  872 drivers/clocksource/arm_arch_timer.c 	flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]);
arch_timer_uses_ppi  873 drivers/clocksource/arm_arch_timer.c 	enable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], flags);
arch_timer_uses_ppi  917 drivers/clocksource/arm_arch_timer.c 			(arch_timer_uses_ppi == ARCH_TIMER_VIRT_PPI) ? "virt" : "phys" :
arch_timer_uses_ppi  969 drivers/clocksource/arm_arch_timer.c 		    arch_timer_uses_ppi == ARCH_TIMER_VIRT_PPI) {
arch_timer_uses_ppi 1004 drivers/clocksource/arm_arch_timer.c 	disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]);
arch_timer_uses_ppi 1075 drivers/clocksource/arm_arch_timer.c 	ppi = arch_timer_ppi[arch_timer_uses_ppi];
arch_timer_uses_ppi 1076 drivers/clocksource/arm_arch_timer.c 	switch (arch_timer_uses_ppi) {
arch_timer_uses_ppi 1123 drivers/clocksource/arm_arch_timer.c 	free_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], arch_timer_evt);
arch_timer_uses_ppi 1276 drivers/clocksource/arm_arch_timer.c 		arch_timer_uses_ppi = ARCH_TIMER_PHYS_SECURE_PPI;
arch_timer_uses_ppi 1278 drivers/clocksource/arm_arch_timer.c 		arch_timer_uses_ppi = arch_timer_select_ppi();
arch_timer_uses_ppi 1280 drivers/clocksource/arm_arch_timer.c 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {
arch_timer_uses_ppi 1602 drivers/clocksource/arm_arch_timer.c 	arch_timer_uses_ppi = arch_timer_select_ppi();
arch_timer_uses_ppi 1603 drivers/clocksource/arm_arch_timer.c 	if (!arch_timer_ppi[arch_timer_uses_ppi]) {
arch_timer_uses_ppi 1609 drivers/clocksource/arm_arch_timer.c 	arch_timer_c3stop = acpi_gtdt_c3stop(arch_timer_uses_ppi);