drivers/acpi/arm64/gtdt.c

136

case ARCH_TIMER_HYP_VIRT_PPI:

drivers/acpi/arm64/gtdt.c

171

case ARCH_TIMER_HYP_VIRT_PPI:

drivers/clocksource/arm_arch_timer.c

1028

case ARCH_TIMER_HYP_VIRT_PPI:

drivers/clocksource/arm_arch_timer.c

1118

if (arch_timer_ppi[ARCH_TIMER_HYP_VIRT_PPI])

drivers/clocksource/arm_arch_timer.c

1119

return ARCH_TIMER_HYP_VIRT_PPI;

drivers/clocksource/arm_arch_timer.c

1265

case ARCH_TIMER_HYP_VIRT_PPI:

drivers/clocksource/arm_arch_timer.c

51

[ARCH_TIMER_HYP_VIRT_PPI] = "hyp-virt",

drivers/clocksource/arm_arch_timer.c

691

case ARCH_TIMER_HYP_VIRT_PPI:

drivers/clocksource/arm_arch_timer.c

917

arch_timer_uses_ppi == ARCH_TIMER_HYP_VIRT_PPI) {