drivers/acpi/arm64/gtdt.c

113

case ARCH_TIMER_HYP_PPI:

drivers/acpi/arm64/gtdt.c

141

case ARCH_TIMER_HYP_PPI:

drivers/clocksource/arm_arch_timer.c

1042

case ARCH_TIMER_HYP_PPI:

drivers/clocksource/arm_arch_timer.c

1111

return ARCH_TIMER_HYP_PPI;

drivers/clocksource/arm_arch_timer.c

1209

arch_timer_ppi[ARCH_TIMER_HYP_PPI] =

drivers/clocksource/arm_arch_timer.c

1210

acpi_gtdt_map_ppi(ARCH_TIMER_HYP_PPI);

drivers/clocksource/arm_arch_timer.c

50

[ARCH_TIMER_HYP_PPI] = "hyp-phys",

drivers/clocksource/arm_arch_timer.c

697

case ARCH_TIMER_HYP_PPI: