Home
last modified time | relevance | path

Searched refs:ARCH_TIMER_HYP_PPI (Results 1 – 3 of 3) sorted by relevance

/Linux-v4.19/include/clocksource/
Darm_arch_timer.h45 ARCH_TIMER_HYP_PPI, enumerator
/Linux-v4.19/drivers/acpi/arm64/
Dgtdt.c110 case ARCH_TIMER_HYP_PPI: in acpi_gtdt_map_ppi()
138 case ARCH_TIMER_HYP_PPI: in acpi_gtdt_c3stop()
/Linux-v4.19/drivers/clocksource/
Darm_arch_timer.c724 case ARCH_TIMER_HYP_PPI: in __arch_timer_setup()
1049 case ARCH_TIMER_HYP_PPI: in arch_timer_register()
1183 return ARCH_TIMER_HYP_PPI; in arch_timer_select_ppi()
1535 arch_timer_ppi[ARCH_TIMER_HYP_PPI] = in arch_timer_acpi_init()
1536 acpi_gtdt_map_ppi(ARCH_TIMER_HYP_PPI); in arch_timer_acpi_init()