ARCH_TIMER_HYP_PPI  107 drivers/acpi/arm64/gtdt.c 	case ARCH_TIMER_HYP_PPI:
ARCH_TIMER_HYP_PPI  135 drivers/acpi/arm64/gtdt.c 	case ARCH_TIMER_HYP_PPI:
ARCH_TIMER_HYP_PPI  762 drivers/clocksource/arm_arch_timer.c 		case ARCH_TIMER_HYP_PPI:
ARCH_TIMER_HYP_PPI 1094 drivers/clocksource/arm_arch_timer.c 	case ARCH_TIMER_HYP_PPI:
ARCH_TIMER_HYP_PPI 1228 drivers/clocksource/arm_arch_timer.c 		return ARCH_TIMER_HYP_PPI;
ARCH_TIMER_HYP_PPI 1587 drivers/clocksource/arm_arch_timer.c 	arch_timer_ppi[ARCH_TIMER_HYP_PPI] =
ARCH_TIMER_HYP_PPI 1588 drivers/clocksource/arm_arch_timer.c 		acpi_gtdt_map_ppi(ARCH_TIMER_HYP_PPI);