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);