Searched refs:acpi_gtdt_map_ppi (Results 1 – 3 of 3) sorted by relevance
95 int __init acpi_gtdt_map_ppi(int type) in acpi_gtdt_map_ppi() function
1708 acpi_gtdt_map_ppi(ARCH_TIMER_PHYS_NONSECURE_PPI); in arch_timer_acpi_init()1711 acpi_gtdt_map_ppi(ARCH_TIMER_VIRT_PPI); in arch_timer_acpi_init()1714 acpi_gtdt_map_ppi(ARCH_TIMER_HYP_PPI); in arch_timer_acpi_init()
753 int acpi_gtdt_map_ppi(int type);
Completed in 12 milliseconds