319 static void arch_timer_configure_evtstream(void)  in arch_timer_configure_evtstream()  argument
332 static void arch_counter_set_user_access(void)  in arch_counter_set_user_access()  argument
409 u32 arch_timer_get_rate(void)  in arch_timer_get_rate()  argument
414 static u64 arch_counter_get_cntvct_mem(void)  in arch_counter_get_cntvct_mem()  argument
460 struct timecounter *arch_timer_get_timecounter(void)  in arch_timer_get_timecounter()  argument
551 static int __init arch_timer_cpu_pm_init(void)  in arch_timer_cpu_pm_init()  argument
556 static int __init arch_timer_cpu_pm_init(void)  in arch_timer_cpu_pm_init()  argument
562 static int __init arch_timer_register(void)  in arch_timer_register()  argument
682 static void __init arch_timer_common_init(void)  in arch_timer_common_init()  argument
699 static void __init arch_timer_init(void)  in arch_timer_init()  argument
877 void __init acpi_generic_timer_init(void)  in acpi_generic_timer_init()  argument